6.7.3 DEVS封闭性证明