1787

Prove the red and blue points are concyclic.