theorem Th3: :: PCOMPS_1:3

for T being non empty TopSpace
for FX being Subset-Family of T st FX is Cover of T holds
for x being Point of T ex W being Subset of T st
( x in W & W in FX )