  The article provides a criterion for the substitution of symmetric Sturm
words infinite on both sides and its proof. This work was carried out with the
help of the Russian Science Foundation Grant N 17-11-01377.
