n (countable|mathematics) As a special case, textbooks often, and papers sometimes, label an assertion which is provably true, but not important enough to be a
theorem, a proposition. Normally this is part of a numerical reference system (
'Proposition 3.2',
'Lemma 3.3',
'Theorem 3.4')