1797

Prove the red and yellow points are concyclic.