Before revision:  The proof is based on twelve elementary stepswhere ten of them are using the same procedure allowing  to desubstitute Wang tilings from the existence of a subset of marker tiles.
After revision:  The proof is based on 12 elementary steps, 10 of which involve the same procedure allowing to desubstitute Wang tilings from the existence of a subset of marker tiles.