n≧3とする。p_1, p_2, …, p_n は全て異なる素数として、

x_k ＝ (p_1p_2…p_n)/p_k　(k＝1, 2, …, n)

と置く。gcd(x_1, x_2, …, x_n)＝1 であることが言える。
また、n≧3に注意して、任意のi,j に対してgcd(x_i, x_j)≠1 であることが言える。