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