theorem :: TIETZE_2:11

for n being Nat
for p being Point of (TOP-REAL n)
for r being Real st r >= 0 holds
p in ClosedHypercube (p,(n |-> r))