2147

Prove the red angle is $45^\circ$.