theorem Th1: :: YELLOW13:1

for T being non empty T_1 TopSpace
for A being finite Subset of T holds A is closed