Let A'B'C' be the cevian triangle of P. Let X be the intersection of the circles {PBC'}, {PB'C} and define analogously Y, Z. Then the lines A'X, B'Y, C'Z concur at the complement of the antigonal P/ of P.