prove.bat 削除