simplify a proof