The green line segments are congruent. The blue line segments are congruent. Prove the red line segment is the diameter of the circle.