在集合 $[n]$ 上使用容斥原理. 固定 $i$,考虑有多少个 $j \in [n]$ 满足 $\gcd(i, j) = \gcd(a_i, a_j) = 1$,将此数目记作 $f_i$.暂时不考虑条件 $ i \le j $ . 考虑 $[n]$ 的某些子集.$S_{x,y} := \{ i\in [n] \colon x\mid i, y \mid a_i \}$ 以 $a_6 = 4$ 为例,$6$ 的素因子有 $2, 3$,$4$ 的素因子有 $2$ . 考虑集合 $S_{1, 2},