theorem :: PROB_3:29

for X being set
for Si being SigmaField of X
for XSeq being SetSequence of Si holds Intersection (Partial_Intersection XSeq) = Intersection XSeq by Th14;