theorem Th1: :: TREAL_1:1

for a, b being Real
for A being Subset of R^1 st A = [.a,b.] holds
A is closed