Теоремы кусок

Песню можно прослушать здесь: https://poembook.ru/poem/1520487


Снова сижу,
Не докажу
То, что не даёт покоя.

Как же узнать,
Откуда взять
Способ доказательства простой?

Всё в мозгах перерыл,
Что когда-то учил.
Неужели мне не найти ответ?
Что же в гугл вбивать?
В каких книжках искать?
И не даст мне никто совет.

Может быть,
Теорема вообще неверна.
Теоремы кусок, теоремы кусок
Доказать остаётся,
Только идея, идея нужна.
Мы уже доказали десяток лемм
И подумали, что не осталось проблем.
Теоремы кусок, теоремы кусок
Доказать остаётся...

Снова сижу.
Чего я жду?
Ждун бы не дождался идеи.

Словно во сне,
Приходит мне
Метод решения уравнений.

Всё-таки
Теорема наша верна.
Теоремы кусок, теоремы кусок
Мы сейчас доказали,
Только проверка, проверка нужна.
Раньше мы доказали десяток лемм,
И теперь не осталось больше проблем.
Теоремы кусок, теоремы кусок
Только что доказали!

Может быть,
Теорема вообще неверна.
Теоремы кусок, теоремы кусок
Мы сейчас доказали,
Только проверка, проверка нужна...