Am atasat desenul.
In ΔABO1 si ΔABO2 avem:
O1A=O1B=O2A=O2B si AB este latura comuna, deci ΔABO1 ≡ ΔABO2 (L.L.L.), prin urmare:
m(<AO1B)=m(<AO2B) si cum la unghiuri egale corespund arce egale, rezulta ca arcele mici, corespunzatoare acestor unghiuri din cercurile C(O1,r), respectiv C(O2,r), sunt egale.