1266

Prove the sum of the red angles is $180^\circ$.