第一个块的因子个数恰好等于它的最小素因子。
取 m=s1s2⋯skm=s_1s_2\cdots s_km=s1s2⋯sk。其素因子互异,最小素因子为 s1=ks_1=ks1=k,且恰有 kkk 个因子。因此 m∈Am\in Am∈A。