1802

Prove the measure of the red angle is invariant.