Taken together, these notions and our early results led us to the following general theorem on operator structures and one-way LOCC distinguishability. The first version of the result was proved in [1]}, and the refined improvement as stated below was established in [2]}.
