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

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