|.(|[a,b]| - |[a,b]|).| = 0 by TOPRNS_1:29;
hence not inside_of_circle a,b,r is empty by Th45; :: thesis: verum