Xét hiệu:
10(a + 5b) - (10a + b)
= 10a + 50b - 10a - b
= (10a - 10a) + (50b - b)
= 49b chia hết cho 7. (1)
+ Nếu a + 5b chia hết cho 7 => 10(a + 5b) chia hết cho 7 (2)
Từ (1) và (2) => 10a + b chia hết cho 7.
+ Nếu 10a + b chia hết cho 7 (3)
Từ (1) và (3) => 10(a + 5b) chia hết cho 7.
=> a + 5b chia hết cho 7 (ƯCLN(10; 7) = 1)