Es decir que puede que haya ideales primos que no sean maximales, por ejemplo en formula_342