Не надо ничего доказывать...
(теорема тоски В. Бурич)
Если пользоваться методом доказательства от противного, то окружность головы вне угла локтя есть не тоска. Куда бы поместить окружность головы вместе с ее содержимым? конечно погрузить в Радость... В Радость Понимания...
Доказательство теоремы Радости - усилия всей жизни. Да и сама жизнь преображается в непрерывное доказательство теоремы. Кто пребывал в алгоритме этого действия, без сомнения, меня поймет. Удивительно, что нельзя остановиться, считая, что вот уже все очевидно-доказано. Или ты в процессе... или вне его, в угле локтя:)