Euklid -- Zusammenfassung

wesentliche Argumente sind:

• Korrektheit:

  Subtraktion von Vielfachen bzw. Berechnung des Restes:

  Resultat ist im „erlaubten Bereich``

  (ist ein Vielfaches des gcd )

• Termination:

  Rest ist kleiner als Divisor.

andere Bereiche, in denen das funktioniert?