prove a cheat in holConservativeScript.sml

also delete a bit of trailing whitespace