theorem Th01: :: CARDFIL2:3

for X being non empty set st X is cap-finite-closed holds
X is cap-closed