Chou, Gao et Zhang en Coq