Domanda di colloquio di Evelyn

Difference between definition and theorem?