Лемма

Лемма (lemma) (мат.), вспомогательный рез-т, к-рый зачастую требуется при проведении доказательства более важной теоремы, но доказывается отдельно, чтобы не прерывать цепочки идей при развитии осн. аргументации. Л. по своей природе не имеют самостоятельной мат. значимости и часто играют техн. роль. Если бы не их польза в облегчении процесса доказательства гл. утверждения теоремы, то они, вероятно, были бы ненужными.