Let A', B', C' the cevian traces of a point P. The perpendicular from B’ to AC cuts AB at Ab; the perpendicular from C’ to AB cuts AC at Ac, and the perpendicular from A’ to BC cuts AbAc at A”. Define analogously B”, C2. The lines AA", BB", CC" concur.