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