1932

Prove the blue, green, and yellow points are concyclic centered at the red point.