Ta có: (9x+5y)+4.(2x+3y)=9x+5y+8x+12y=17x+17y /17
=>(9x+5y)+4.(2x+3y) /17 (1)
+) Nếu 9x+5y /17 (2)
Từ (1) và (2) => 4.(2x+3y) /17
Mà (4,17)=1. Suy ra: 2x+3y /17 (*)
+) Nếu 2x+3y /17 => 4.(2x+3y) /17 (3)
Từ (1) và (3) => 9x+5y /17 (**)
Từ (*) và (**) => 9x+5y /17 <=> 2x+3y /17