Offensichtlich sind die Divisionen a/d und b/d in Z ausführbar, denn man kann eine Zahl durch einen ihrer Teiler teilen.
Wenn der ggt(a/d , b/d) NICHT 1 wäre, müsste er irgendein k>1 sein.
Damit wären a/d und b/d durch k teilbar, woraus (d*k)|a und (d*k)|b folgen würde.
Dann wäre aber d*k ein größerer gemeinsamer Teiler als d, was im Widerspruch zur Voraussetzung steht.