Ta có:
` 3a + 1 \vdots a - 1 `
` => 3a - 3 + 4 \vdots a - 1 `
Vì ` 3a - 3 \vdots a - 1 `
` => 4 \vdots a - 1 `
` => a - 1 ∈ Ư(4) = { ±1 ; ±2 ; ±4 } `
` => a ∈ { 0 ; 2 ; -1 ; 3 ; -3 ; 5 } `
Vậy ` a = { 0 ; 2 ; -1 ; 3 ; -3 ; 5 } ` thì ` 3a + 1 \vdots a - 1 `