Bézout und Teilbarkeit

Kleinste Teiler, Reste und Bézout · Abschnitt 19 von 64

Beweis

Bézout und Teilbarkeit

Die Wohlordnung positiver ganzer Zahlen verwandelt einen wiederholbaren Verkleinerungsschritt in einen Widerspruch: Ein kleinstes Objekt kann keine echt kleinere Version seiner selbst erzeugen.

Checkliste

Zahlentheorie-Audit

Ist die positive Kandidatenmenge nichtleer?
Ist der neue Wert ganzzahlig und zulässig?
Ist er wirklich strikt kleiner?
Liefert der Widerspruch genau die behauptete Teilbarkeit oder Unmöglichkeit?