State/Intersections of ideals are ideals 1