1: \begin{abstract}

2: Let $G$ be an amenable group and let $A$ be a finite set.

3: We prove that if $X \subset A^G$ is a strongly irreducible subshift 

4: then $X$ has the Myhill property, that is, every pre-injective cellular automaton $\tau \colon X \to X$ is surjective.

5:       \end{abstract}