801

Prove the circumcircle of the green triangle is the incircle of the blue triangle.