Исходное сообщение deadreamer: Весенний_ветер, а дальше должно быть противоречие и тогда теорема верна.