Starchak, M. R.and University. A Proof of Bel'tyukov — Lipshitz Theorem by Quasi-quantifier Elimination. II. The Main Reduction. Saint Petersburg State University, 2021, doi:10.21638/spbu01.2021.406.