Diese Kategorie ist eine mathematische Beweis-Kategorie.