Когда автор вопроса набирал фамилию известного фантаста в непрямом падеже, то правописание "Word" исправило ее на теорему. А для чего используется эта теорема?
Для доказательства основной теоремы.
Зачёт: Для доказательства другой теоремы.
Автор вопроса написал "Лема", а словарь исправил на "Лемма"; лемма — это вспомогательная теорема, которая используется для доказательства основной теоремы.