theorem Thm23: :: EUCLID10:36

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