A theorem is a proposition that has been or is to be proved on the basis of explicit assumptions. What is the difference between a theorem and a lemma? A theorem is a proposition that has been or is ...