  Let $G$ be an amenable group and let $A$ be a finite set. We prove that if $X
\subset A^G$ is a strongly irreducible subshift then $X$ has the Myhill
property, that is, every pre-injective cellular automaton $\tau \colon X \to X$
is surjective.
