Aus der Def. von z folgt
==> z* ( cx + d) = ax + b
==> (zc-a) * x = b-d #
Und es gilt
zc-a = c*(ax+b)/(cx+d) - a
= c*(ax+b)/(cx+d) - a(cx+d)/(cx+d)
= (acx + cb - acx - ad ) / (cx+d)
= (cb - ad ) / (cx+d)
und das ist nach Vor. ungleich 0, also kann man bei # dividieren
und hätte x = (b-d) / (zc-a). Also wäre x der
Quotient zweier rationaler Zahlen im Widerspruch zu
x irrational.