for a, b being Real holds circle (a,b,0) = {|[a,b]|}