on peut remarquer que les hypothèses sont légèrement redondantes en effet daprès le théorème de linvariance du domaine si u est un ouvert non vide de ℝn et f  u → ℝm une injection continue et si m ≤ n alors m  n fu est ouvert et f est un homéomorphisme entre u et fu