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