conditional proof

formal proof

Categorie: