在用数学归纳法证明命题成立的过程中,第一步中验证了n=1时命题成立,第二部中假设nk