2x + 3y chia hết cho 7
=> 3(2x+3y) chia hết cho 7
hay 6x+ 9y chia hết cho 7 (1)
3x + y chia hết cho 7
=> 2(3x+y) chia hết cho 7
hay 6x + 2y chia hết cho 7
xét hiệu
=> 6x + 9y - (6x + 2y)
= 6x -+ 9y - 6x - 2y
= 7y chia hết cho 7 (2)
từ 1 và 2
=> 6x + 2y chia hết cho 7
hay 3x + y chia hết cho 7 (đpcm)