Ясно: я не хочу выписывать все промежуточные шаги. Тривиально: если я должен объяснять вам, как это сделать, вы ошиблись аудиторией. Очевидно: я надеюсь, вы не проспали предыдущее обсуждение, потому что я отказываюсь его повторять. Напомним: я не должен рассказывать вам это, но для тех, кто стирает свою память после каждого теста, вот оно снова... Без потери общности: я не хочу разбирать все возможные случаи, поэтому я сделаю один и оставлю вам остальные. Можно показать: Гаусс смог. Хорошо известно: смотри "Mathematische Zeitschrift'', издание 1892 года, том 26. Проверьте самостоятельно: это скучная часть доказательства, так что вы можете потратить на нее собственное время. Набросок доказательства: я не смог разобраться с деталями, так что я разобью его на части, которые я не могу доказать. Подсказка: самый сложный из нескольких способов доказательства. Простым перебором: четыре частных случая, три мощностных аргумента, две трансфинитных индукции и проход по бесконечному дереву. Упрощенное доказательство: занимает на треть страницы меньше, чем обычное, но требует двух лет обучения чтобы просто понять определения. Элегантное доказательство: не требует предварительного знакомства с темой и занимает меньше 10 строк. Аналогично: минимум одна строчка доказательства такая же, как раньше. Каноническая форма: 4 из 5 опрошенных математиков советуют записывать ответ в таком виде. Следующее эквивалентно: если я говорю это, оно значит то, и если я говорю что это означает что-то другое, и если я говорю это что-то другое... По предыдущей теореме: я не помню, когда она формулировалась (честно говоря, я не уверен, что мы вообще ее сформулировали), но если я сделал это правильно, то остальное следует из нее. Доказательство на две строки: я выкину всё, кроме вывода. Кратко: у меня кончается время, так что я просто буду писать и говорить быстрее. Давайте обсудим это: я не хочу писать на доске, потому что сделаю ошибку. Формальное преобразование: оперируем с символами по правилами без какого-либо представления о том, что они значат. Наконец: осталось всего лишь десять шагов... Доказательство опущено: поверьте мне, это правда. (вольный перевод из http://www.math.utah.edu/~cherk/mathjokes.html, все ошибки мои)