The blue angle bisectors and blue diagonal are concurrent. Prove the red angle bisectors and red diagonal are also concurrent.