1853

The blue lines are concurrent. Prove the red lines are also concurrent.