 It is based on the following result, Fact 4, p. 100 in Pudlák's 1985 paper, obtained earlier by Ju.L.Ershov as the main theorem in Section 3 of the Introduction of his 1977 monograph.Theorem (Ershov 1977, Pudlák 1985).