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 .