皮亚诺公理证明(A+B)*C=A*C+B*C,是只需要保持固定A、B固定,对C进行归纳就可以了,还是需要对A、B、C逐一