(от греческого lemma - допущение), теорема, не имеющая самостоятельного значения, но используемая для доказательства других теорем.