Универсальные теории целых чисел и расширенная гипотеза близнецов

Доказывается разрешимость универсальной теории целых чисел в сигнатуре $\langle +, |, P, 1\rangle$, где $|$ — отношение делимости, $P$ — одноместный предикат, выделяющий простые числа, в предположении выполнимости расширенной гипотезы близнецов. Этот результат является усилением известной теоремы о разрешимости универсальной теории целых чисел в сигнатуре $\langle +, |, 1\rangle$.