Theoremklassifikation: z. B. Kongruenzsätze, Ähnlichkeitssätze, Satz des Pythagoras usw.