theorem Th48: :: SRINGS_5:72

for n being Nat
for a being Element of REAL n holds ClosedHyperInterval (a,a) = {a}