theorem Th3: :: TIETZE_2:4

for n being Nat
for p, q being Point of (TOP-REAL n)
for r being Real holds
( q in OpenHypercube (p,r) iff for i being Nat st i in Seg n holds
q . i in ].((p . i) - r),((p . i) + r).[ )