wenn a|bc gilt, dann kommen in der Primfaktorzerlegung von a alle
Primfaktoren mit mindestens der Vielfachheit vor, wie sie im Produkt
bc vorkommen. Wegen ggt(a,c) = 1 , haben a und c überhaupt keine
gemeinsamen Primfaktoren, also stecken die von a alle in dem b und
damit a|b.