Who can, in the XVII century, claim to have a trivial proof a theorem which only in the late XX century Wiles could prove, with an amazingly complicated development? It can only be a genius like Fermat, who probably found a more simple proof which remains still today unveiled.