prove last cheat in exhLangProofScript.sml