前スレッドに書いたのですが、流れてしまいました。
引き続きよろしくお願いします。

a、b は互いに素な自然数、n は n＞ab を満たす整数のとき、n=ax+by を満たす自然数 x、y が存在することを示せ。