1539

Prove the red lines and red circle are concurrent.