Definition of

Lemma

sage the dog thinking

Like a Theorem, but not as important.

It is a minor result that has been proved to be true (using facts that were already known).

See: Theorem