Betrachte f(x,y) = || x-y||.
Dann ist M=f^-1({ℝ2 × ℝ2}).
Jacobimatrix von f ist:J(x,y) = 1/f(x,y) * (x1-y1, x2-y2, y1-x1, y2-x2).
Hier muss wahrscheinlich L ≠ 0 vorausgesetzt werden.
Differential surjektiv in (x,y) ⇔ J(x,y) vollen Rang ⇔ J(x,y) ≠ 0.
J(x,y) = 0 ⇔ x=y, aber die Punkte der Form (x,x) gehören nicht zu f^-1({L}).
Also ist Differential f auf M surjektiv. Satz vom regulären Wert liefert den Rest.