5.3 程序构造的基本：定义新运算/新过程