1381

The yellow shape is a square. Prove the red points are concyclic.