true/circle-midpoints-are-concyclic-ex211.ggb