theorem Th14: :: PROB_3:14

for X being set
for A1 being SetSequence of X holds Intersection (Partial_Intersection A1) = Intersection A1