Теоремы кусок
Аудиозапись
Снова сижу,
Не докажу
То, что не даёт покоя.
Как же узнать,
Откуда взять
Способ доказательства простой?
Всё в мозгах перерыл,
Что когда-то учил.
Неужели мне не найти ответ?
Что же в гугл вбивать?
В каких книжках искать?
И не даст мне никто совет.
Может быть,
Теорема вообще неверна.
Теоремы кусок, теоремы кусок
Доказать остаётся,
Только идея, идея нужна.
Мы уже доказали десяток лемм
И подумали, что не осталось проблем.
Теоремы кусок, теоремы кусок
Доказать остаётся...
Снова сижу.
Чего я жду?
Ждун бы не дождался идеи.
Словно во сне,
Приходит мне
Метод решения уравнений.
Всё-таки
Теорема наша верна.
Теоремы кусок, теоремы кусок
Мы сейчас доказали,
Только проверка, проверка нужна.
Раньше мы доказали десяток лемм,
И теперь не осталось больше проблем.
Теоремы кусок, теоремы кусок
Только что доказали!
Может быть,
Теорема вообще неверна.
Теоремы кусок, теоремы кусок
Мы сейчас доказали,
Только проверка, проверка нужна...
