The red points are the midpoints of the sides of a cyclic quadrilateral. Prove the green lines are concurrent.