Az $O$ középpontú kört $E$-ben belülről érinti egy feleakkora sugarú kör. Egy $O$-ból induló félegyenes a nagy kört $P$-ben, a kis kört pedig az $O$-tól különböző $R$ pontban metszi. Bizonyítsuk be, hogy az $\widehat{EP}$ és az $\widehat{ER}$ körív hossza megegyezik.