prove a cheat in bootstrap_lemmasScript.sml