1297

Prove the difference of the red angles is $90^\circ$.