true/circumcenter-of-midpoints-is-midpoint-ex197.ggb