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
