933

Prove the blue and red points are concyclic.