Soit muni d’une norme quelconque, et la boule fermée . Soit un -difféomorphisme entre deux ouverts et de , contenant , tel que . On pose . Soit .
1
Montrer qu’il existe tel que pour tout ,
2
Montrer qu’il existe tel que pour ,
3
En déduire que .