4 Alice y Bob juegan un juego en el lado infinito de una tira cuadriculada, en la cual las celdas están numeradas con enteros consecutivos de izquierda a derecha (..., $-2$ , $-1$ , $0$ , $1$ , $2$ , ...). Alice en su turno pone una cruz en cualquier celda libre, y Bob en su turno pone ceros en cualesquiera 2020 celdas libres. Alice ganará si logra obtener 4 celdas marcadas con cruces tales que los números de celda correspondientes formen una progresión aritmética. El objetivo de Bob en este juego es impedir que Alice gane. Juegan por turnos y Alice mueve primero. ¿Podrá Alice ganar sin importar cómo juegue Bob?