Let P be a point, r a line through P, A' the intersection between r and BC. Take A" on r such as A'P = PA", and define analogously B", C". Then AA", BB", CC" concur.