Für Eigenschaften bipartiter Reiner Zustände impliziert die Unitär-Invarianz auf einem Teil die Existenz eines optimalen lokalen Tests auf dem anderen Teil.
