  We prove that for any finitely generated group $G$ and any $k\geq1$, the
space of $k$-colorings of $G$ does not admit a strict self-embedding. This
settles the Gottschalk surjunctivity conjecture and, consequently, Kaplansky's
direct finiteness conjecture.
