theorem Th14: :: PROB_1:14

for X being set
for A, B being Subset of X holds Intersection (A followed_by B) = A /\ B