10.3.3 互斥条件的一个断言式证明