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