1403

The blue angle is double the green angle. Prove the red angles are congruent.