State/Intersections of ideals are ideals

 =Proof=

=Metadata=