Ta có:
\(2x+3y⋮17\Leftrightarrow9\left(2x+3y\right)⋮17\) (vì (9, 17) = 1) \(\Leftrightarrow18x+27y⋮17\Leftrightarrow18x+10y+17y⋮17\Leftrightarrow18x+10y⋮17\) (vì \(17y⋮17\)) \(\Leftrightarrow2\left(9x+5y\right)⋮17\Leftrightarrow9x+5y⋮17\) (vì (2, 17) = 1).
Điều ngược lại vẫn đúng, vì khi phân tích ở trên, ta luôn dùng được dấu \(\Leftrightarrow\)