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 twelve elementary stepswhere ten of them are using the same procedure allowing one to desubstitute Wang tilings from the existence of a subset of marker tiles.