What is the difference between a theorem, a lemma, and a corollary?

I prepared the following handout for my Discrete Mathematics class (here’s a pdf version). Definition — a precise and unambiguous description of the meaning of a mathematical term.  It characterizes the meaning of a word by giving all the properties and only those properties that must be true. Theorem — a mathematical statement that is proved using rigorous mathematical reasoning.  In…