Fermat's Last Theorem simple proof

There is a "trick", due to Marc Krasner, which prevents you from wasting time in examining "elementary" arithmetic proofs of Fermat's Last Theorem. "Elementary" means precisely that the proof uses only addition and multiplication (operations in a ring), and perhaps also the existence and unicity of decomposition into prime factors (so the ring in question is factorial). I suppose this is the case here, although not all details are given. Then, without checking anything, you can be assured that the reasoning is certainly wrong. This is because all such "elementary" arguments can be repeated word for word in the ring $Z_p$ of p-adic integers, which is factorial (and a lot more !), but in which FLT is false, because in the field $Q_p$ of p-adic numbers, the equation $x^p + y^p = 1$ always has non trivial solutions (if you take $y$ to be a high power of $p$, then p-adic analysis tells you that $1 - y^p$ has a p-th root in $Q_p$).

Notice that the proof is actually looking for solutions to $(x+y)^n-x^n=z^n$ which is equivalent (though it would be nice if the proof writer had, I don't know, stated this) - you can see this when it goes from $$(x+y)^n-x^n=\text{stuff}$$ to $$z^n=\text{the same stuff}$$ in the fourth equation.

The first serious error in the proof is assuming that $\gcd(y,n)=1$. It gives no justification for this and it does not appear clear to me that proving the theorem in this case implies the general theorem.

The next error is somewhat more serious - he takes two equations from the rational roots theorem which are presumably correct under the assumption that $\gcd(y,n)=1$, and then considers only a single solution of them, rather than the general solution. He takes $x+y=1$ at this points, and all his further work relies on that assumption. So now, we are proving the following statement: $$1^n-x^n=z^n$$ has no solutions in the positive integers.

That's not Fermat's Theorem, and I think most any reader can come up with a much shorter proof of the fact. Notably, upon close examination of the proof, it does never use the hypothesis that $n>2$, and hence must be false. Yes, even $1^2-x^2=z^2$ has no solutions in the positive integers, and the proof tries to conclude from there as $(x+y)-x^2=z^2$ has no solutions in the positive integers - but, oh wait...