The blue point is the orthocenter of the blue triangle. The green point is the orthocenter of the green triangle. Prove the green, red, and blue points are collinear.