theorem Th11: :: TIETZE_2:12

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