- Vì `a in mathbbN` và `a : 36` dư `18`
`=> a = 36k + 18 (k in mathbbN)`
- Từ đó ta có :
`a vdots 2` (vì `36k vdots 2` và `18 vdots 2`)
`a vdots 3` (vì `36k vdots 3` và `18 vdots 3`)
`a vdots 6` (vì `36k vdots 6` và `18 vdots 6`)
`a vdots 9` (vì `36k vdots 9` và `18 vdots 9`)
- Vậy `a vdots 2 ; a vdots 3 ; a vdots 6 ; a vdots 9`