Работа является второй частью нового доказательства теоремы Бельтюкова-Липшица о разрешимости экзистенциальной теории структуры . Строится алгоритм квази-ЭК (понятие введено в первой части доказательства), осуществляющий сведение проблемы разрешимости для экзистенциальной теории структуры к проблеме разрешимости для позитивной экзистенциальной теории структуры 0; 1, {a·}a∈Z>0 , НОД>. Так как разрешимость последней теории была доказана в первой части, построенное сведение завершит доказательство теоремы. На шаге отделения переменной для квазиэлиминации используются аналоги двух лемм из доказательства Липшица. Шаг квазиэлиминации основан на НОДлемме, доказанной в первой части.