reconsider e = x as Point of (Euclid n) by TOPREAL3:8;
Ball (x,r) = Ball (e,r) by Th11;
hence not Ball (x,r) is empty by GOBOARD6:1; :: thesis: verum