不可分割：反证法四步

• 命题框：不存在单比特态 |ψ_A⟩、|ψ_B⟩ 使 |ψ_A⟩ ⊗ |ψ_B⟩ = |Φ⁺⟩
• 证明步骤（反证法，逐行）：

1. 反设分解存在：|ψ_A⟩ = a|0⟩+b|1⟩、|ψ_B⟩ = c|0⟩+d|1⟩（a、b、c、d ∈ ℂ）

2. 展开张量积：|ψ_A⟩⊗|ψ_B⟩ = ac|00⟩ + ad|01⟩ + bc|10⟩ + bd|11⟩

3. 与 |Φ⁺⟩ = (1/√2)|00⟩ + 0|01⟩ + 0|10⟩ + (1/√2)|11⟩ 逐系数比较：ac = 1/√2，ad = 0，bc = 0，bd = 1/√2

4. 追矛盾：ac ≠ 0 ⇒ a ≠ 0 且 c ≠ 0；ad = 0 与 a ≠ 0 ⇒ d = 0；但 bd = 1/√2 ≠ 0 要求 d ≠ 0——矛盾

• 结果框：反设不成立，证毕——|Φ⁺⟩ 不可写成任何张量积；纠缠态中单比特没有独立状态，"整体严格大于部分之和"的数学含义即此