Do we not use the conditions?

Hey!! :o

I want to prove the following lemma:

Let $n>1$. We suppose that the integers $x$ and $y$ satisfy the relations $x \mid_n 1$ and $y…