Pergunta de entrevista da empresa Evelyn

Difference between definition and theorem?