1060

Given a square. Prove the red and blue points are concyclic.