Téoréma alat ngabuktikeun Coq nimbang ngarobah ngaranna. Alesan: Pikeun Anglophones, kecap "coq" jeung "cock" (slang pikeun organ seksual lalaki) disada sarupa, sarta sababaraha pamaké awéwé geus encountered lulucon ganda-entendre nalika ngagunakeun ngaran dina basa lisan. Ngaran pisan basa Coq asalna tina nami salah sahiji pamekar, Thierry Coquand. Kasaruaan sora Coq sareng Cock (hayam Inggris) parantos dimaénkeun dina proyék: basa anu dianggo pikeun ngajelaskeun struktur disebut Gallina (hayam Latin).
sumber: opennet.ru