42数学归纳法