且 formula_3 可以完全被因数基底里的元素分割——也就是说，它们的质因数全部都在 "P" 里。实际上，好几个满足 formula_4 的整数 "x" 之质因数全部都在预先选定的因数基底里。 我们将每个 formula_4 的表达式表示成一个矩阵中的向量，其中的每个整数「元」（entries）为因数基底里的因数之次方。 矩阵中的列之线性组合对应到这些表达式的乘法。 一个模 2 下矩阵列的线性相依将导向所需的同余关系 formula_6。 这基本上将问题转化成为了一个线性方程组，其可以借由许多的方