Deze karakterisatie van de ggd heeft het volgende triviale, maar belangrijke gevolg:

Corollarium

Voor gehele a,b geldt:
a en b zijn onderling ondeelbaar dan en slechts dan als er gehele getallen x en y zijn met xa +yb =1.

Een gevolg hiervan is het volgende handige resultaat voor het afleiden van deelbaarheid van twee getallen:

Propositie

Laat a,b,c gehele getallen zijn. Als a en b onderling ondeelbaar zijn, dan geldt: a | bc impliceert a | c.