Create test_proof.sh