Teilbarkeitstheorie (Z)/GgT und ordnungsgrößter gT/Aufgabe

Aus Wikiversity

Es sei eine Menge von ganzen Zahlen. Zeige, dass der nichtnegative größte gemeinsame Teiler

der mit demjenigen gemeinsamen Teiler übereinstimmt, der bezüglich der Ordnungsrelation der größte gemeinsame Teiler ist.