Ist \((\lambda,\mu)\) ein Paar ganzer Zahlen, so dass
\(\lambda\cdot a+\mu \cdot b=d\quad (*)\) ist, so rechnet man
leicht nach, dass dann auch für jede ganze Zahl \(z\)
das Paar \((\lambda+\frac{b}{d}\cdot z,\; \mu-\frac{a}{d}\cdot z)\)
ebenfalls \((*)\) erfüllt, d.h. man kann \(\lambda\) modulo \(\frac{b}{d}\)
abändern und erhält wieder ein Lösungspaar für \((*)\).
Daher kann man \(\lambda\) als kleinsten nichtnegativen Rest mod \(\frac{b}{d}\)
wählen.