A note on Fermat's Last Theorem for $n=4$

Matan Eliashar, Nati Linial

Fermat's Last theorem (FLT) famously states that the equation $x^n+y^n=z^n$ has no solution in positive integers $x,y,z$ for any integer exponent $n>2$. But does this theorem hav…