任一简单事态体都存在一个等价确定值;任一复合事态体必无差异于一个一般事态体;任意一般事态体必无差异于一个简单事态体