theorem Th83: :: JORDAN2C:99

for n being Nat
for p being Point of (TOP-REAL n)
for P being Subset of (TOP-REAL n) st n >= 1 & P = {p} holds
P is boundary