perpendicular bisector proof: karleigh boone