Surjective multidimensional cellular automata are non-wandering: A combinatorial proof