Evelyn interview question

Difference between Definition and theorem.