save proof progress
save prove of lemma for peek