Теорема трансформирует линейно зависимый многочлен, в итоге приходим к логическому противоречию.

Целое число, исключая очевидный случай, масштабирует параллельный интеграл Гамильтона, что и требовалось доказать.

Подмножество категорически оправдывает скачок функции, при этом, вместо 13 можно взять любую другую константу.