circle (a,b,r) = Sphere (|[a,b]|,r) by TOPREAL9:52;
hence circle (a,b,r) is empty ; :: thesis: verum