Evelyn Interview Question

Difference between definition and theorem?