prove a cheat in exhLangProofScript.sml

the other cheat in that proof looks difficult - not sure why it's true.