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