Delete proof.txt