reserve n for Nat;

theorem Th1:
  for x being Point of Euclid n, r being Real holds Ball (x
  , r) is open Subset of TOP-REAL n
by TOPREAL3:8,GOBOARD6:3;
