Given a lune of Hippocrates (bounded by a semicircle and quarter-circle). Prove the green line segments are congruent.