already known to yusuf al-mu'taman ibn hűd in 11th century, states that if three line segments are drawn from the vertices of a triangle to the opposite sides, then the three line segments are concurrent if, and only if, the product of the ratios of the newly created line segments on each side of the triangle is equal to one. he published this theorem in "de lineis rectis".