prove last cheat in toIntLang3ProofScript.sml