\(\left(6x+11y\right)⋮31\)
\(\Leftrightarrow5\left(6x+11y\right)⋮31\)(vì \(\left(5,31\right)=1\))
\(\Leftrightarrow\left(30x+55y\right)⋮31\)
\(\Leftrightarrow\left[\left(30x+55y\right)-\left(31x+2.31y\right)\right]⋮31\)
\(\Leftrightarrow\left(-x-7y\right)⋮31\)
\(\Leftrightarrow\left(x+7y\right)⋮31\)
Ta có đpcm.
Do ta biến đổi tương đương nên điều ngược lại cũng đúng.