Un número de robots se colocan en los cuadrados de una cuadrícula rectangular finita de cuadrados. Un cuadrado puede contener cualquier número de robots. Cada borde de cada cuadrado de la cuadrícula se clasifica como pasable o intransitable. Todos los bordes en el límite de la cuadrícula son intransitables. Puede dar cualquiera de los comandos arriba, abajo, izquierda o derecha. Todos los robots intentan simultáneamente moverse en la dirección especificada. Si el borde adyacente a un robot en esa dirección es pasable, el robot se mueve a través del borde y hacia el siguiente cuadrado. De lo contrario, el robot permanece en su cuadrado actual. Luego puede dar otro comando de arriba, abajo, izquierda o derecha, luego otro, durante el tiempo que desee. Suponga que para cualquier robot individual y cualquier cuadrado en la cuadrícula, existe una secuencia finita de comandos que moverá ese robot a ese cuadrado. Demuestre que también puede dar una secuencia finita de comandos de tal manera que todos los robots terminen en el mismo cuadrado al mismo tiempo.