Create test_proof.cpp