Starchak, M.R., University, 2021. A proof of Bel'tyukov — Lipshitz theorem by quasi-quantifier elimination. II. The main reduction.. https://doi.org/10.21638/spbu01.2021.406