Uniqueness of a convex sum of products of projectors

Relative to a given factoring of the Hilbert space, the decomposition of an operator into a convex sum of products over sets of distinct 1-projectors, one set linearly independent, is unique.