If N sets S1 .. SN EITHER-related states have a multiple of
SS = S1 × … × SN
it's states linked to EITHER.
A consistent application of theorem 8.9 for N-1 pairs of multiplier.