a2 hat die gleichen Primfaktoren wie a, nur jeweils in der doppelten Anzahl.
Bei b entsprechend. Wenn nun also die doppelte Anzahl jedes Primfaktors von a
kleiner oder gleich der doppelten Anzahl jedes Primfaktors von b ist, dann gilt
das auch für die Anzahlen jeweils selbst, also a Teiler von b.
