Лемма – леммой называется, в математике, доказываемая истина, имеющая значение только для доказательства другой более значительной истины – теоремы.