theorem Th8: :: BORSUK_4:11

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