1870

Prove the red line segment equals the sum of the blue line segments.