The blue lines are perpendicular bisectors of sides of the black triangle. Prove the red and yellow points are concyclic.