The blue points are reflected about sides of the yellow triangle. Prove the red points are concyclic.