La motivación era indudablemente que la formula_4-torsión en el grupo de clase ideal de formula_15 ya había sido identificado por Kummer como el principal obstáculo para la demostración directa del último teorema de Fermat.