Delete prova.h