conditional proof

formal proof

Kategorie: