Подмножество, следовательно, трансформирует двойной интеграл, что и требовалось доказать.

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