Der euklidische Algorithmus berechnet den größten gemeinsamen Teiler durch wiederholte Division mit Rest:
Ende, wenn der Rest $0$ ist.