1433

Prove the green points are concyclic centered at the red point.