On note
On remarque que l'image de
est contenue dans la boule unité de
Plus précisément, l'image
est
privée des points
, ensemble de mesure nulle.
De surcroît,
est injective sur
.
On note
, ...
. Le Jacobien de
est
(développement par bloc).
On en déduit
Soit
.
Par récurrence, on retrouve alors la formule donnée précédemment, qui s'écrit