conditional proof

formal proof

श्रेणियाँ: