Lemma

Of proposition.

A subsidiary proposition that is assumed to be true in order to prove another proposition.

This concept's ID is @1~35963