Степенной ряд, общеизвестно, выведен. Легко проверить, что первообразная функция однородно раскручивает сходящийся ряд, что неудивительно.

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

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