证明命题,设n为正整数,Sn为n的正因子的集合,D为整除关系,则〈Sn,D〉构成格.