theorem Th9: :: BORSUK_4:12

for a, b being Real st a <> b holds
Cl [.a,b.[ = [.a,b.]