theorem Th46: :: RCOMP_3:46

for S being 1 -element 1-sorted
for s being Point of S
for F being Subset-Family of S st F is Cover of S holds
{s} in F