Its hole was real enough that it had to be plugged up, and I don't think a hole's existence can be more emphatically proven.
El agujero existía, y había habido que colmarlo. No creo yo que la existencia de un agujero pueda hallar demostración más categórica.