According to PPT separability condition, it is an entangled state, however, not all entangled states can be used for nonlocality proof.

• 利用PPT判据,可以证明该混合态是纠缠态,但是并不是所有的纠缠态都可以用来做非定域性证明。