Ista afirmación, mas enta debant ya conoixida como Zaguer teorema de Fermat, esdevinió uno d'os teoremas mas importants en Matematicas. No se sabe si Fermat trobó de verdat a contrimuestra, ya que no en deixó garra bayo pa que atros matematicos la podesen verificar. Iste problema mantenió enlucernaus a matematicos entre mas de tres sieglos (se diz que, frustrau, Euler mesmo demandó a un amigo que rechistrase a casa de Fermat ta mirar-ie a contrimuestra), dica que en 1995 Andrew Wiles podió contrimostrar o teorema.  Wiles emplegó pa ixo ferramientas matematicas que amaneixioron muito dimpués d'a muerte de Fermat, de traza que iste debió de trobar a solución por belatro camín, si ye que la trobó. En tot caso, teneba razón en o suyo enunciau.