How arcAB are congruent to arcOE