The product of the red line segments equals the product of green of line segments. Prove the yellow lines are concurrent.