Ist
mit
, so ist
genau dann,
wenn
, d.h. wenn
ist, d.h.
.
Ferner ist
genau dann,
wenn
, d.h. wenn
ist, d.h.
.
Um den genannten Ausdruck als reell nachzuweisen, berechnen wir sein Konjugiertes. Es wird
Schließlich werden
und
.