《数学归纳法的变式和应用》用英文翻译