This question has already answered here in other topics, but all answers that I read have some techniques like congruence and fermat numbers and the book which I am reading shows this question in chapter about divisibility. So I have been looking for a way of resolving this problem just using divisibility.
I found a document that brings an answer considering just divisibility, but there are two parts of the solution that I haven't already understood yet. I have read it many times but no success. Here they are
1) why can't $x$ and $y$ be both positive?
2) why did he consider the power $a^{-ny}$, instead of $a^{ny}$, since it is well-known that $t$ divides $a^{ny}-1$?
See remarks on the attached picture in