The blue angle is double the green angle. The red angle is triple the green angle. Prove the red line segment is the sum of the blue line segments.