The modern proof would have been within Fermat's means (and was indeed given later by Euler), even though the modern concept of a group came long after Fermat or Euler.
A proba moderna estaría dentro dos métodos de Fermat (e, de feito, foi dada por Euler), aínda que o concepto moderno de grupo é bastante posterior a Fermat ou Euler.