Soit une application de dans , telle que et pour tous . On va montrer que est soit nulle, soit la fonction identité.
1
Remarquer que si et ainsi, que est croissante.
2
Montrer que pour tout réel on peut construire une suite et une suite de rationnels telles que et . En déduire le résultat.