设函数C（X）定义问题X的复杂程序，函数E（X）确定解决问题X需要的工作量（时间）。对于两个问题P1和P2，如果C（P1）>C（P2）显然E（P1）>E（P2），则得出结论E（P1+P2）>E（P1）+E（P2）就是（）

• A、模块化的根据
• B、逐步求精的根据
• C、抽象的根据
• D、信息隐藏和局部化的根据