“…In fact, since ρ is PPT, ρ ′ is also PPT. By [18], the following vectors form a basis of the range of ρ: |ψ 3m−2,3m−2 = (0, · · · , 0, a 3m−2 , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3m−2 , 0, · · · , 0) t , |ψ 3m−2,3n−2 = (0, · · · , 0, a 3m−2 , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3n−2 , 0, · · · , 0) t , |ψ 3m−2,3n−1 = (0, · · · , 0, a 3m−2 , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3n−1 , 0, · · · , 0) t , |ψ 3m−2,3n = (0, · · · , 0, a 3m−2 , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3n , 0, · · · , 0) t , |ψ 3m−1,3m−1 = (0, · · · , 0, a 3m−1 , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3m−1 , 0, · · · , 0) t , |ψ 3m−1,3n−2 = (0, · · · , 0, a 3m−1 , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3n−2 , 0, · · · , 0) t , |ψ 3m−1,3n−1 = (0, · · · , 0, a 3m−1 , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3n−1 , 0, · · · , 0) t , |ψ 3m,3m = (0, · · · , 0, a 3m , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3m , 0, · · · , 0) t , |ψ 3m,3n−2 = (0, · · · , 0, a 3m , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3n−2 , 0, · · · , 0) t , |ψ 3m,3n = (0, · · · , 0, a 3m , 0, · · · , 0) t ⊗ (0, · · · , 0, b 3n , 0, · · · , 0) t ,…”