因数个数公式推导过程