prove cheat in conLangProof