Geom Mod 9.2B Perpendicular Bisector and Circumcenter of a Triangle