1400

Prove the red and yellow points are concyclic.