1378

Prove the red point is the center of the green circle.