Let P be a point. An arbitrary line r meets the sidelines BC, CA, AB at X, Y, Z. The parallels to CP through Y and to BP through Z meet each other at X1; similarly we define the points Y1 and Z1. Then the points P, X1, Y1, Z1 are collinear.