Update proof.md