Zouti pou pwouve teyorèm Coq ap konsidere chanje non li. Rezon ki fè: Pou Anglofòn yo, mo "coq" ak "cock" (jagon pou ògàn seksyèl gason an) son menm jan an, ak kèk itilizatè fi te rankontre blag doub-sens lè yo itilize non an nan langaj pale. Non an menm nan lang Coq la soti nan non youn nan devlopè yo, Thierry Coquand. Resanblans son Coq ak Cock (anglè kòk) deja jwe nan pwojè a: langaj yo itilize pou dekri estrikti yo rele Gallina (poul Latin).
Sous: opennet.ru