conditional proof

formal proof

Kategorien: