theorem Th6: :: BROUWER3:6

for n being Nat
for A being Subset of (TOP-REAL n) st not A is boundary holds
ind A = n