Proof: From the definition of int(t) it follows that int(t) is a separator of (g")". Since Pi, ..., PN are constrainedly decomposable it follows ...
確定! 回上一頁