1947

The blue and green triangles are isosceles. Prove the red points are concyclic.