|.(x - x).| = 0 by TOPRNS_1:28;
hence not cl_Ball (x,r) is empty by Th6; :: thesis: verum