Ta gọi số dư của a, b chia 7 là n
=> a = 7x + n
b = 7y + n (x, y \(\in Z\))
=> a - b = 7x + n - 7y - n = 7(x - y) \(⋮7\)
Vậy a - b chia 7 có số dư là 0
Cho số dư khi a và b chia 7 là x và thương khi a và b chia cho 7 lần lượt là c và d
a = 7 . c + x
b = 7 . d + x
a - b = ( 7 . c + x ) - ( 7 . d + x ) = 7.c - 7 . d = 7.( c - d )
Vậy a - b chia hết cho 7 , cũng có nghĩa là a - b chia 7 có số dư là 0