Die Bedingung
-
bedeutet ausgeschrieben
-
-
-
-
Wegen der ersten und der vierten Gleichung sind
und
.
Aus der zweiten Gleichung folgt nach
Fakt,
dass es ein gibt mit
-
und
-
Aus der ersten Gleichung ergibt sich
-
und somit
-
und
-
und
-
Aus der dritten Gleichung folgt, dass es ein gibt mit
-
und
-
Aus der vierten Gleichung ergibt sich
-
und somit
-
und
-
und
-
Somit ist