Is dá thrianosgalthriantán ABC ⁊agus DEF. Is cómhaIs comhionann acu AB ⁊agus DE, AC ⁊agus DF, BC ⁊agus EF. Is dual dèdó gur cómhagur comhionann an t-osgaluillinn BAC ⁊agus an t-osgaluillinn EDF, etc., ar aghaigaghaidh na gcô-dtaobhdtaobhanna comhfhreagracha.
Óir, má curtarchuirtear an trianosgaltriantán ABC ar an dtrianosgaltriantán DEF, ag cur naan heóphointe B ar an eópointe E, ⁊agus ag cur anna líne BC ar an líne EF, luífigluífidh an eópointe C ar an eópointe F, mar is cómhais comhionann BC ⁊agus EF. AnsanAnsin luífigluífidh an trianosgaltriantán ABC cruinn ar an dtrianosgaltriantán DEF, núnó beigbeidh ar aon taobh den aon líne dhá thrianosgalthriantán gur cómhagur comhionann acu an dá thaobh a chómhracaschomhraiceann i gcrích den líne úd ⁊agus mar an gcéanna an dá thaobh a chómhracaschomhraiceann sa chrích eile. Ach ní féidir sin.
Dá bhrí sin luífidluífidh ar a chéile cruinn, i. cô-oirfidcomhthitfidh siad.
Ach is cómhais comhionann nithe doa chô-oireanchomhthiteann. Dá bhrí sin is cómhais comhionann an dá thrianosgalthriantán, ⁊agus is cómhais comhionann na hosgailhuillinneacha ar aghaigaghaidh na gcô-dtaobhdtaobhanna comhfhreagracha, i. BAC ⁊agus EDF, etc.
Dá bhrí sin, Má tá, etc.