The red points are the orthocenters of triangles $ABC$, $BCD$, $CDA$, and $DAB$. Prove the blue and green quadrilaterals are congruent.