conditional proof

formal proof

زمرے: