re-prove

v. 再证明