Теорема о замене для двойных интегралов формулируется следующим образом:
Пусть на плоскости

задана область

, и пусть отображение преобразует эту область в область

на плоскости

. Будем считать, что отображение

задаётся функциями . Пусть:
1)

взаимно однозначно отображает

на

;
2) функции

,

непрерывно дифференцируемы на

(имеют непрерывные частные производные);
3) якобиан не обращается в нуль во всех точках из

, кроме быть может множества меры нуль.
Так же есть теорема о неявных функциях, определяемых системой уравнений, по которой из условий 2 и 3 предыдущей теоремы, делается вывод о существовании биекции между областями.
Итак, вопрос: зачем в теореме о замене для двойных интегралов требуется условие взаимно однозначного отображения?