E El Arbol New member Dec 2, 2010 #1 Could someone provide a proof of this theorem regarding cellular automata?