conditional proof

formal proof

Categories: