text: Мы определяем границу B и базу множителей (которую будем обозначать через P), множество всех простых чисел, меньших либо равных B. Затем мы ищем положительное целое z, такое, что как z, так и z+n являются B-гладкими, то есть все их простые делители содержатся в P. Мы можем поэтому записать для подходящих степеней a k {\displaystyle a_{k}} z = ∏ p i ∈ P p i a i {\displaystyle z=\prod _{p_{i}\in P}p_{i}^{a_{i}}} , а также для подходящих b k {\displaystyle b_{k}} мы имеем z + n = ∏ p i ∈ P p i b i {\displaystyle z+n=\prod _{p_{i}\in P}p_{i}^{b_{i}}} .