E wepụtala ụdị 8.12 (obere ụdị kacha ọhụrụ dị n'oge a na-ede akụkọ bụ 8.12.1) nke theorem na-egosi ngwa ọrụ Coq (ọkụkụ).
Coq gụnyere asụsụ mmemme dabere na Gallina (ọkụkọ), nke gbadoro ụkwụ na tiori nke iwu mgbako.
Usoro Coq na-enye gị ohere ịmepụta ma ihe akaebe na mmemme kọmputa na-egosi na ọ dabara na nkọwapụta ahụ.
Ụdị ọhụrụ ahụ emela ka ọbá akwụkwọ na akwụkwọ dị mma nke ukwuu, ma doziekwa ọtụtụ njehie.
isi: linux.org.ru