Clasificación de teoremas: Por ejemplo, teoremas de congruencia, teoremas de semejanza, teorema de Pitágoras, etc.