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