Theorem fa'amaonia meafaigaluega Coq o lo'o mafaufau e sui lona igoa. Mafuaaga: I le gagana Anglophones, o upu "coq" ma le "cock" (slang mo le totoga tau tane) e tutusa lelei, ma o nisi o tamaitai o loʻo faʻaogaina na latou fetaiaʻi ma tausuaga lua pe a faʻaaoga le igoa i le gagana tautala. O le igoa tonu lava o le gagana Coq e sau mai le igoa o se tasi o tagata atiaʻe, Thierry Coquand. O le tutusa o le leo o Coq ma Cock (Igilisi moa) ua uma ona taʻalo i luga o le poloketi: o le gagana e faʻamatala ai fausaga e taʻua o Gallina (Latin chicken).
puna: opennet.ru