Cho a, b, m là các số tự nhiên khác 0. Biết (7a + b) chia hết cho m

Vì 7a + b chia hết cho m nên ta có: 8.(7a + b) ⁝ m, giả sử 8(7a + b) = m.q

Vì 8a + b chia hết cho m nên ta có: 7.(8a + b) ⁝  m, giả sử 7(8a + b) = m.p

Xét: 8(7a + b) – 7(8a + b) = mq – mp = m(q – p) ⁝ m

Hay (56a + 8b) – 56a – 7b = b ⁝ m

Vậy b cũng chia hết cho m.