Por lo tanto, debe ser igual a la intersección de todos esos ideales, ya que I también pertenece a la familia de ideales que contienen a S.