Cuando el ideal no es nulo, su generador, tiene el menor tamaño entre los elementos del ideal.