9x + 5y chia hết cho 17
<=> 2.(9x + 5y) chia hết cho 17
<=> 18x + 10y chia hết cho 17
<=> 18x + 10y + 17y chia hết cho 17 (17y chia hết cho 17)
<=> 18x + 27y chia hết cho 17
<=> 9.(2x + 3y) chia hết cho 17
Mà 9 không chia hết cho 17
=> 2x + 3y chia hết cho 17
Vậy 2x + 3y chia hết cho 17 <=> 9x + 5y chia hết cho 17.