Fermat’s Last Theorem and more can be proved more simply

Mathematicians have shown Fermat’s Last Theorem can be proved using only a small portion of Grothendieck’s work. Specifically, the theorem can be justified using “finite order arithmetic.”