The green line segments are congruent and the blue line segments are congruent. Prove the center of the red circle lies on the yellow circle.