Round-six lemma `chkG`