fix proof in bootstrap_lemmaScript.sml