Considera un cuadrado cuadriculado de $3m\times 3m$, donde $m$ es un entero mayor que $1.$ Una rana se sienta en la celda de la esquina inferior izquierda $S$ y quiere llegar a la celda de la esquina superior derecha $F.$ La rana puede saltar desde cualquier celda a la siguiente celda a la derecha o a la siguiente celda hacia arriba. Algunas celdas pueden ser 'pegajosas', y la rana queda atrapada una vez que salta sobre tal celda. Un conjunto $X$ de celdas se llama 'bloqueante' si la rana no puede llegar a $F$ desde $S$ cuando todas las celdas de $X$ son 'pegajosas'. Un conjunto bloqueante es minimal si no contiene un conjunto bloqueante más pequeño. Demuestra que existe un conjunto bloqueante minimal que contiene al menos $3m^2-3m$ celdas. Demuestra que todo conjunto bloqueante minimal contiene a lo sumo $3m^2$ celdas.