La suma se extiende sobre todos los ideales no nulos "a" de O.