II Молодежный чемпионат Украины по брэйн-рингу (Симферополь). Игры 1/2 финала. Вопрос 12

Вопрос 12: Когда автор вопроса набирал фамилию известного фантаста в непрямом падеже, то правописание "Word" исправило ее на теорему. А для чего используется эта теорема?

Ответ: Для доказательства основной теоремы.

Зачёт: Для доказательства другой теоремы.

Комментарий: Автор вопроса написал "Лема", а словарь исправил на "Лемма"; лемма — это вспомогательная теорема, которая используется для доказательства основной теоремы.

Источник(и):
    1. С. Ожегов, Н. Шведова. Толковый словарь русского языка. — М.: Азъ, 1996.
    2. Личный опыт автора вопроса.

Автор: Валерий Криволапов (Харьков)