Kummer probó el último teorema de Fermat para una clase considerable de exponentes primos (véase primo regular, grupo de clases de ideales).