1238

The red points are midpoints of the green line segments. Prove the color points are concyclic.