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