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