The yellow circles are congruent. Prove the orthocenter of the blue triangle is one of the red points.