Cosa essere buco 13 ?

Presuppone la presenza di tredici buchi. Ma non del quattordicesimo. O c'è ? E perché non "buco 12" o "buco 1" ? E lo zero c'è ?

Supponiamo che i buchi siano un insieme finito, dimostrare che esiste almeno un buco che corrisponde a X, dove X è 13...