Fermat dijo que tenía una prueba.