Evelyn interview question

Difference between definition and theorem?