- 1.
- Es sei
Es wird
Speziell ergibt sich
Also ist
Nach dem Satz über implizite Funktionen läßt sich
das Gleichungssystem
lokal um den Punkt
nach
auflösen.
- 2.
- Nach 1. gibt es also Umgebungen
von
und
von
sowie genau eine
stetig differenzierbare Funktion
,
so, daß
-
,
,
-
und
für alle
,
-
für alle
und
.
Es wird
Speziell wird