lemma: a subsidiary proposition that is assumed to be true in order to prove another proposition
proposition: (logic) a statement that affirms or denies something and is either true or false
heat of fusion: heat absorbed by a unit mass of a solid at its melting point in order to convert the solid into a liquid at the same temperature