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