theorem Th12:
  for e being Point of Euclid 0 holds OpenHypercube(e,r) = {{}} by CARD_3:10;
