for a, b, r being Real holds Sphere (|[a,b]|,r) = circle (a,b,r)