Theorem tabbatar kayan aiki Coq yana tunanin canza sunansa. Dalili: A cikin wayoyin Anglophones, kalmomin "coq" da "zara" (slang ga sashin jima'i na maza) suna kama da juna, kuma wasu masu amfani da mata sun ci karo da barkwanci sau biyu lokacin amfani da sunan a cikin harshen magana. Sunan yaren Coq ya fito ne daga sunan ɗaya daga cikin masu haɓakawa, Thierry Coquand. An riga an buga kamancen sautin Coq da Cock ( zakara na Turanci ) a cikin aikin: harshen da ake amfani da shi don kwatanta tsarin ana kiransa Gallina (kaji Latin).
source: budenet.ru