Nach
Fakt
ist
-

Die Bedingung
führt also auf
-

Nach
Fakt
sind diese beiden Zahlen invers zueinander, es muss also
-

sein, was auf
führt. Es ist also
-

zu untersuchen. Mit
-

führt dies mit
Fakt (1)
auf die Bedingung
-

Dies erfordert einerseits
und andererseits
-

also nach
Fakt
.
Also muss
-

reell sein.