Kleinste Teiler, Reste und Bézout

Wohlordnung auf Teiler, Divisionsreste und ganzzahlige Linearkombinationen anwenden und daraus Primteiler, ggT und Kürzungslemmata gewinnen.