Theorema probans instrumentum Coq considerat mutato nomine. Ratio: Anglophones, verba "coq" et "gallina" (slang pro organo masculino sexuali) sonant similes, et nonnulli utentes feminae iocos duplices entiendi cum nomine locutionis utentes. Nomen ipsum linguae Coq e nomine cuiusdam tincidunt Thierry Coquand venit. Similitudo soni Coq et Cock (galli Anglici) iam in incepto lusit: lingua ad describendas structuras Gallina (gallina latina) appellatur.
Source: opennet.ru