Antes de que esto fuera probado para todos los formula_1 en 1995 por Andrew Wiles, había sido probado para muchos valores de n.