En 1993, Wiles creyó que su demostración estaba cerrada: