Deze karakterisatie van de ggd heeft het volgende triviale, maar belangrijke gevolg:
CorollariumVoor gehele a,b geldt:
|
Een gevolg hiervan is het volgende handige resultaat voor het afleiden van deelbaarheid van twee getallen:
PropositieLaat a,b,c gehele getallen zijn. Als a en b onderling ondeelbaar zijn, dan geldt: a | bc impliceert a | c.
|