prove cheat in hol_verificationScript.sml

had to add an assumption to the statement