阶乘的运算性质