Theorem pov thawj cuab yeej Coq tab tom txiav txim siab hloov nws lub npe. Yog vim li cas: Rau Anglophones, lo lus "coq" thiab "cock" (slang rau txiv neej pw hauv nruab nrog cev) suab zoo ib yam, thiab qee cov poj niam cov neeg siv tau ntsib ob-entendre tso dag thaum siv lub npe hais lus. Lub npe ntawm cov lus Coq yog los ntawm lub npe ntawm ib tus neeg tsim khoom, Thierry Coquand. Qhov zoo sib xws ntawm lub suab ntawm Coq thiab Cock (English rooster) twb tau ua si hauv qhov project: cov lus siv los piav txog cov qauv hu ua Gallina (Latin qaib).
Tau qhov twg los: opennet.ru