Prima propoziție se poate reformula astfel:
Se consideră punctele coliniare M, A, O, B, N, în această ordine,
astfel încât MA = AO = OB = BN.
[tex]\it "M=sim_AO"\ \ reprezint\breve{a}\ \ simetricul\ punctului\ O\ fa\c{\it t}\breve{a}\ de\ punctul\ A,\\ \\ adic\breve{a}\ A\ este\ mijlocul\ lui\ [MO][/tex]
a) cercuri tangente exterior în punctul O.
b) cercuri secante.
c) cercuri tangente interior în punctul B.
