hab jetzt a>1 gemacht und nun bricht er bei teilerfremdheit nicht mehr ab. (was er ja soll)
e is ne eingabe, z is auf true gesetzt und phi ist ein positives produkt