1267

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