Лемма 1. Крокодил более длинный, чем широкий.
Доказательство.
Будет проведено в 2 этапа. Сначала докажем, что крокодил более длинный, чем зеленый, а потом - что он более зеленый, чем широкий, после чего требуемое будет следовать из транзитивности отношения "более".
1. Крокодил длинный сверху и снизу, а зеленый только сверху.
Следовательно, крокодил более длинный, чем зеленый.
2. Крокодил зеленый и вдоль, и поперек, а широкий только поперек.
Следовательно, крокодил более зеленый, чем широкий.
Лемма 2. Крокодил более широкий, чем длинный.
Доказывается аналогично.
Обычно, из двух этих утверждений делают неверное заключение, что крокодил квадратный, однако из того факта, что оба неравенства - строгие, и вытекает Великая теорема крокодилов -
Крокодилов не существует.
Доказательство.
Будет проведено в 2 этапа. Сначала докажем, что крокодил более длинный, чем зеленый, а потом - что он более зеленый, чем широкий, после чего требуемое будет следовать из транзитивности отношения "более".
1. Крокодил длинный сверху и снизу, а зеленый только сверху.
Следовательно, крокодил более длинный, чем зеленый.
2. Крокодил зеленый и вдоль, и поперек, а широкий только поперек.
Следовательно, крокодил более зеленый, чем широкий.
Лемма 2. Крокодил более широкий, чем длинный.
Доказывается аналогично.
Обычно, из двух этих утверждений делают неверное заключение, что крокодил квадратный, однако из того факта, что оба неравенства - строгие, и вытекает Великая теорема крокодилов -
Крокодилов не существует.
Из интервью Марины Хлебниковой Соте1:
"Сейчас мне верой и правдой служит ERICSSON T 28, с функцией
голосового набора номера. Вы знаете, с этим телефоном нужно быть
очень осторожным, когда сидишь за рулем машины, потому что всякий
раз, когда меня грубо подрезают на дороге, телефон послушно
набирает мамин номер."
"Сейчас мне верой и правдой служит ERICSSON T 28, с функцией
голосового набора номера. Вы знаете, с этим телефоном нужно быть
очень осторожным, когда сидишь за рулем машины, потому что всякий
раз, когда меня грубо подрезают на дороге, телефон послушно
набирает мамин номер."
![[1]](https://svalko.org/data/2008_12_05_23_06_344103_1.gif){kind=link}
Всегда ведь знал, что виндоз - маст дай! даже XP!
Знал же, что работать в фаре надо, и все равно...
После попытки удаления ~3300 файлов, после нажатия shift+del я автоматически жму ентер, чтоб подтвердить.
Этот масдай НЕ УСПЕЛ вывести это долбанное окошко и вывел мне !!!!;№:;%№ сообщений: мол, чемы вы хотите открыть етот файл.
Мало того, что он делал это н-цать минут, и в трее сделал мне такую красоту:
Так он еще и забавно свернул меню пуск:
и даже опосля сноса всех этих окошек отказывался запускать проги...
Не юзайте виндоз, господа. Или хотя-бы не юзайте стандартные средства типа проводника
(;№:"?:%№) и иплохера...
Знал же, что работать в фаре надо, и все равно...
После попытки удаления ~3300 файлов, после нажатия shift+del я автоматически жму ентер, чтоб подтвердить.
Этот масдай НЕ УСПЕЛ вывести это долбанное окошко и вывел мне !!!!;№:;%№ сообщений: мол, чемы вы хотите открыть етот файл.
Мало того, что он делал это н-цать минут, и в трее сделал мне такую красоту:
Так он еще и забавно свернул меню пуск:
и даже опосля сноса всех этих окошек отказывался запускать проги...
Не юзайте виндоз, господа. Или хотя-бы не юзайте стандартные средства типа проводника
(;№:"?:%№) и иплохера...