Từ (2x+5y)chia hết cho 7=> 4(2x+5y)chia hết cho 7<=>(8x+20y) chia hết cho 7 <=> (7x+14y)+(x+6y) chia hết cho 7 => (x+6y)chia hết cho 7.(đpcm)
Ngược lại (x+6y)chia hết cho 7 =>2(x+6y)chia hết cho 7<=>(2x+12y)chia hết cho 7 <=> (0x+7y)+(2x+5y) chia hết cho 7 => (2x+5y) chia hết cho 7 (đpcm)