1757

Prove the red points are concyclic.