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.
Le trou existait si bien qu'il avait fallu le boucher, et je ne pense pas que l'existence du trou puisse se démontrer plus catégoriquement.