Si "I" y "J" son primos entre sí, entonces "IJ" = "I"∩"J"; además, si "K" es un tercer ideal tal que "I" contiene a "JK", entonces "I" contiene a "K".