conditional proof

formal proof

Kategori: