Kategorie:Theorie der Peano-Halbringe/Beweise