Completing proofs involving the triangle proportionality theorem