z = x + i y ===> i z = i x - y ; 1 + i z = i x + 1 - y ( 1a )
( 1 + i z ) ( 1 - i z * ) = x ² + ( y - 1 ) ² < 1 ( 1b )
ist das offene Innengebiet des Einheitskreises mit Mittelpunkt ( 0 | 1 )
z - i = x + i ( y - 1 ) ; Imag ( z - i ) = y - 1 > 0 ===> y > 1 ( 2 )
( 2 ) bedeutet weiter keine Einschränkung für ( 1b ) , weil y = 0 erst auf dem Rand angenommen wird, wo der Einheitskreis die reelle Achse berührt.