cuyo producto es sobre todos los ideales primos "P" de "O".