Garden of Eden theorem