1763

Prove the measure of the red angle is invariant.