theorem Th48: :: SRINGS_5:67

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