845

Given a square. Prove the red points are concyclic.