# Диалог у доски (сокращённый вариант)
**Профессор.** Итак, вы доказали ВТФ?
**Ученик.** Да. Семь лет. Никто не опроверг.
**Профессор.** Никто и не читал. Ладно. Логика?
**Ученик.** Из Aⁿ + Bⁿ = Cⁿ следует P ≡ 1, Q ≡ 1, R ≡ 1.
**Профессор.** Следует?
**Ученик.** Многократно показано.
**Профессор.** Кем?
**Ученик.** Мной.
**Профессор.** Прекрасно. Дальше?
**Ученик.** Отсюда A ≡ Aⁿ (mod n²).
**Профессор.** Отсюда?
**Ученик.** Ну... тоже отсюда.
**Профессор.** Ага. Дальше?
**Ученик.** Подставляю A вместо Aⁿ — получаю A ≡ A^(n²) (mod n³). Потом mod n⁴. И так до бесконечности.
**Профессор.** До бесконечности?
**Ученик.** Да. Значит, у A нет конечного значения. Противоречие. Теорема доказана.
**Профессор.** А если я скажу, что 2 ≡ 2³ (mod 9), но 2 ≢ 2⁹ (mod 27)?
**Ученик.** Это частный случай.
**Профессор.** Это контрпример. Общее утверждение ломается на первом шаге.
**Ученик.** Но итерация!
**Профессор.** Итерация чего? Вы не можете перейти от mod n² к mod n³. Всё остальное — фантазия.
**Ученик.** Но если есть бесконечный разряд...
**Профессор.** В n-адических числах бесконечный разряд — норма. Натуральные числа конечны. Вы доказали, что A — n-адическое. Поздравляю. Это не ВТФ.
**Ученик.** Значит, вы не хотите признать!
**Профессор.** Хочу. Покажите переход. Один. Конкретный. На числах.
**Ученик.** ...
**Профессор.** Вот именно.
**Ученик.** Семь лет...
**Профессор.** Семь лет — не доказательство. Доказательство — доказательство.
**Ученик.** Но viXra!
**Профессор.** ViXra — это где публикуют то, что не прошло рецензию. Вы сами себя рецензировали. И поставили себе пятёрку.
**Ученик.** Это нечестно!
**Профессор.** Это арифметика. Она вообще нечестная. Особенно с теми, кто её не слушает.
---
*Профессор вздохнул и стёр доску.*
**Профессор.** Начните с леммы. Честно. Без «очевидно». Тогда, может, найдёте что-то настоящее. Или поймёте, почему нет. Оба варианта — математика. А пока — это не математика. Это семилетний разговор с зеркалом.