1913

The blue orthocenter is reflected about the green line. Prove the red points are concyclic.