The green line is the perpendicular bisector of the blue line segment. Prove the red and yellow points are concyclic.