In math a lemma is a short theorem that is used to prove a larger theorem. I never knew that it meant "proposition," although that makes sense.