On Invertible Cellular Automata