903

The blue angle is double the red angle. Prove blue line segment is double the red line segment.