Asumimos un camión como una baldosa de $1 \times (k + 1)$. Nuestro estacionamiento es una tabla de $(2k + 1) \times (2k + 1)$ y hay $t$ camiones estacionados en él. Algunos camiones están estacionados horizontalmente y algunos camiones están estacionados verticalmente en el estacionamiento. Los camiones verticales solo pueden moverse verticalmente (en su columna) y los camiones horizontales solo pueden moverse horizontalmente (en su fila). Otro camión está dispuesto a entrar en el estacionamiento (solo puede entrar desde algún lugar del límite). Para $3k + 1 < t < 4k$ , demuestra que podemos mover otros camiones hacia adelante o hacia atrás de tal manera que el nuevo camión pueda entrar en el lote. Demuestra que la afirmación no es necesariamente cierta para $t = 3k + 1$.