Diffeomorphismus/Transformationsformel/Verhalten von Nullmengen/Fakt/Beweis

Beweis

Nach (einem Spezialfall von) Fakt ist ${}\varphi$ lokal Lipschitz-stetig. Die Nullmenge ${}S$ kann man abzählbar überdecken mit offenen Mengen, worauf ${}\varphi$ Lipschitz-stetig ist. Die Aussage folgt dann aus Fakt.