Classification des théorèmes : tels que les théorèmes de congruence, de similitude, de Pythagore, etc.