1156

Prove the red, blue, and green points are concyclic.