Chida chotsimikizira cha Theorem Coq ikuganiza zosintha dzina lake. Chifukwa: Kwa ma Anglophones, mawu oti "coq" ndi "tambala" (slang kutanthauza chiwalo chogonana chachimuna) amamveka chimodzimodzi, ndipo ena ogwiritsa ntchito achikazi amakumana ndi nthabwala zapawiri akamagwiritsa ntchito dzinali m'chilankhulo cholankhulidwa. Dzina lenilenilo la chilankhulo cha Coq limachokera ku dzina la m'modzi mwa opanga, Thierry Coquand. Kufanana kwa phokoso la Coq ndi Cock (tambala wa Chingerezi) kudaseweredwa kale mu polojekitiyi: chinenero chomwe chimagwiritsidwa ntchito pofotokozera mapangidwewo chimatchedwa Gallina (Chilatini nkhuku).
Source: opennet.ru