The perpendicular from A to AB cuts BC at Ca, and the perpendicular from A to AC cuts BC at Ba. Define analogously Ac, Bc, Cb, Ab. Let Ma, Mb, Mc be the midpoints of BaCa, CbAb, AcBc. Then AMa, BMb, CMc concur.