对偶禁令:不可删除定理

1. 反设 D 存在:D|ψ⟩|ψ⟩ = |ψ⟩|0⟩,D|φ⟩|φ⟩ = |φ⟩|0⟩

2. 输入端内积:⟨ψψ|φφ⟩ = ⟨ψ|φ⟩·⟨ψ|φ⟩ = c²

3. 输出端内积:⟨ψ0|φ0⟩ = ⟨ψ|φ⟩·⟨0|0⟩ = c

4. 酉保内积 ⇒ c² = c ⇒ c ∈ {0,1}——对 0<|c|<1 矛盾,非正交的两份拷贝无法确定性合并

类型definition-derivation(对偶内积论证)