Toda intersección de ideales es un ideal.