for r being Real
for n being non zero Nat
for p being Element of (EMINFTY n) holds Ball (p,r) = product (Intervals ((@ p),r))