Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
La fonction nulle est évidemment PL.
Soit un G-recouvrement de par des domaines analytiques
relativement stricts et, pour tout , soit
et des fonctions inversibles sur
telles que et .
La fonction est égale à sur ,
ce qui prouve qu’elle est PL. De même, la fonction
est égale à sur , donc est PL.
Notons et les domaines analytiques
de définis par
et respectivement.
Sur , on a et .
sur , on a et .
Il en résulte que et sont PL.
∎