Added implementation and test for the theorem 'two angles which intercept same arc are congruent'.