définit sur :

Je ne parviens pas a montrer que phi définit un C-1 diiféomorphisme:
a vrai dire c'est l'injectivité qui me pose probléme.merci