Let P, Q be two points. The orthogonal projections of P on the perpendiculars from Q to the sides are Pa, Pb, Pc. The orthogonal projections of Q on the cevians of P are Qa, Qb, Qc. Then PaQa, PbQb, PcQc concur.