“…×···×S N ] = 1, from(28) it follows that ||T (ρ)S 1 ×···×S N || cov ≥ 1, ∀T (ρ) S 1 ×···×S N , and ||T (ρ) S 1 ×···×S N || cov = 1 if T (ρ)S 1 ×···×S N is tensor positive. This and the analytical upper bounds(27) imply.If, for an N -partite quantum state ρ and arbitrary integers S 1 , ..., S N ≥ 1, there exists a tensor positive source operator T(ρ) S 1 ×···×1 ↑ n ×···×S N for some n = 1, ..., N , then Υ (ρ)S 1 ×···×S N = 1 and this N -partite state is the S 1 × · · · × S N -setting local, that is, satisfies all general S ′ 1 × · · · × S ′ Nsetting Bell inequalities with S ′ 1 ≤ S 1 , ..., S ′ N ≤ S N measurement settings at N sites.If, for an N -partite quantum state ρ, tensor positive source operators T (ρ) S 1 ×···×1 ↑ n ×···×S N for some arbitrary n = 1, ..., N , exist for all integers S 1 , ..., S N ≥ 1, then Υ ρ = 1 and this N -partite state ρ is (fully) local, that is, satisfies all general Bell inequalities.…”