Ontify
Theorem in number theory that there are no nontrivial integer solutions of xⁿ+yⁿ=zⁿ for integer n>2.