Suponiendo que "K" es un cuerpo de números algebraicos (una extensión de cuerpo de dimensión finita de los números racionales Q) con anillo de los enteros O (este anillo es la clausura integral de los enteros Z en "K").