Pregunta de entrevista de Evelyn

Difference between definition and theorem?