prove evaluate_prompt_i1_closed
fix compile_top_thm for changes to exhLangProof
prove a cheat in compile_top_thm

proof enabled by evaluate_prompt_i1_closed