Create prove.cpp