`3``x` `+` `16` ⋮ `x``+``1`
`⇒` `3``x` `+` `3``+``13` ⋮ `x``+``1`
`⇒` `3``.``(``x``+``1``)``+``13` ⋮ `x``+``1`
`⇒``13` ⋮ `x``+``1` `(`vì `3``.``(``x``+``1``)` ⋮ `x``+``1``)`
`⇒` `x``+``1` `∈` `Ư``(``13``)``=``{``1` `;` `13``}`
* Nếu `x``+``1``=``1`
`⇒``x``=``0`
*Nếu `x``+``1``=``13`
`⇒` `x``=``13``-``1`
`x``=``12`
Vậy `x` `∈` `{``0` `;` `12``}`.