Delete PROOF.md