Ceaptar an líne díreachdhíreach AB. IarrtharIarrtar trianosgaltriantán côlíneachcomhshleasach doa chur air.
Um an innelárphointe A le hAB mar gha teórantartarraingítear an áinciorcal BCD (FaomhFaomhadh a 3).
Um an innelárphointe B le BA mar gha teórantartarraingítear an áinciorcal ACE (F. a 3).
Ceangail le líne díreachdhíreach A ⁊agus côghearratrasnú na gcuairdrothn-imlínte, i. C. Ceangail B ⁊agus C mar an gcéanna (F. a haon).
FromaCruthúnas. A innelárphointe na háinean chiorcail BCD, dá bhrí sin is cómhais comhionann AB ⁊agus AC.
B innelárphointe na háinean chiorcail ACE, d. bh. s.dá bhrí sin is cómhais comhionann BA ⁊agus BC.
IséIs é AB an céanna. Is cómhaIs comhionann é féin ⁊agus AC, ⁊agus é féin ⁊agus BC, d. bh. s.dá bhrí sin is cómhais comhionann AC ⁊agus BC, ⁊agus is côlíneachcomhshleasach ABC, ⁊agus tá sé déanta ar AB, i. an ní ba chleasb'fhadhb (Q. E. FC.).