5.4.1 公式的模块化:嵌套思想