Delete provesimportants.py