Ch ng minh. ( ) Gi s x0 vƠ y0 lƠ m t nghi m nguyên. Khi đó ax0 + by0 =
c. Do d | a vƠ d | b nên theonh lý 1.7, d | (ax0 + by0), t
c d lƠ( ) Gi s d |
c. Khi đó
c = d×k v i k . Theonh lý 1.6, có th vi t (a, b)nh m t t h p tuy n tính
c a a vƠ b. Do đó, t n t i u, vb×[r]