Ny fitaovana manaporofo ny Theorem Coq dia mieritreritra ny hanova ny anarany. Antony: Amin'ny teny anglisy, ny teny hoe "coq" sy "akoho" (fiteny ho an'ny taovam-pananahana lahy) dia mitovitovy, ary ny vehivavy mpampiasa sasany dia sendra vazivazy roa sosona rehefa mampiasa ny anarana amin'ny fiteny ampiasaina. Ny anaran'ny fiteny Coq dia avy amin'ny anaran'ny iray amin'ireo mpamorona, Thierry Coquand. Efa nilalao tao amin'ilay tetikasa ny fitovian'ny feon'ny Coq sy Cock (akoholahy anglisy): Gallina (akoho latinina) ny fiteny ampiasaina hilazana ireo rafitra.
Source: opennet.ru