103

Мне казалось, я тут же эту лемму найду, когда меня спросят… Оказалось, нет. Я пока не нашел такой леммы. Зато я нашел, что такое лемма: доказываемая истина, имеющая значение только для другой, более значительной истины — теоремы.