7.3.2 do算子推理法则应用示例