量子纠缠 如何证明