Question d’entretien chez Evelyn

Difference between definition and theorem?