possible typo 10.1.1 example

The solution says

`We must show that there exist natural numbers x and y such that x | y,  and y | x`

I may be wrong but I think it should day

`We must show that there exist natural numbers x and y such that x | y,  and y ∤ x`

where that last bit is "y does not divide x"