Footnote 4.2.

A lemma is a mathematical statement that is primarily of importance in that it is used to establish other results.