prove the previously probably false cheat in exhLangProofScript.sml

theorem statement is slightly weaker now too but I think in a way that
doesn't matter