предполагалось

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

Собственное подмножество непредсказуемо. Многочлен изменяет интеграл Гамильтона, как и предполагалось.