1795

Prove the red lines and blue circle are concurrent.