Niveaumenge Torus? Zeigen, dass Niveaumenge lokal Graph einer stetig differenzierbaren Funktion ist

Question

Habe nirgends gefunden wie man denn überhaupt zeigt, dass eine Niveaumenge lokal Graph ist, auch aus meinem Skript konnte ich nicht wirklich schlau werden.
Kann mir bitte jemand zeigen, wie man das macht?