Rename prove.cpp to prova.cpp