theorem Th14:
  for r being Real for M being triangle MetrStruct, p being
  Point of M for P being Subset of TopSpaceMetr(M) st P = Ball(p,r) holds P is
  open
by PCOMPS_1:29;
