Теорема, необходимая для доказательства другой. - Ответ на кроссворд & сканворд