Пусть

-- открытое ограниченное множество, граница которого

является вложением гладкого

мерного многообразия в

.
Гладкие отображения

таковы, что

при этом

является диффеоморфизмом на свой образ,

Доказать, что если уравнение

имеет решение (относительно

) то уравнение

тоже имеет решение (относительно

).