1503

Prove the red lines and red circle are concurrent.