Euklidischer Algorithmus/Z/ggT/Invarianz/Fakt/Beweis/Aufgabe

Zeige, dass beim euklidischen Algorithmus zu ${}a$ und ${}b$ der größte gemeinsame Teiler von zwei aufeinanderfolgenden Resten stets gleich bleibt und schließe daraus, dass der Algorithmus den größten gemeinsamen Teiler der beiden Zahlen berechnet.