Könnte vielleicht so gehen mit Lemma von Bezout:
g=ggT(a,b)
==>   ggT ( a/g ; b/g) = 1
==> Es gibt u,v aus Z mit
                (a/g)*u + (b/g)*v = 1      | *g
                a*u + b*v = g
und wenn g ein Teiler von c ist, dann ist c/g = n aus Z
und damit wird aus        a*u + b*v = g    |  n
                                 a*u*n + b*v*n = g*n  = c
und  un und vn sind die ganzzahligen Lösungen von
              ax +by = c