logic

Definition

Lemma

A lemma is a proved statement used mainly as a step in the proof of a theorem, proposition, or corollary.

A lemma can also be of independent interest, but its main role is usually to support a larger result.