Unitary freedom of purification
= Unitary freedom of purification
Any two purifications of the same density operator on sufficiently large reference spaces differ by an isometry on the reference system, and by a unitary when the reference spaces have the same dimension.