theorem Th74: :: XBOOLE_1:74

for X, Y, Z being set st X meets Y /\ Z holds
X meets Y