Единственность изометрического расширения канала

Покажите, что все изометрические расширения квантового канала эквивалентны с точностью до изометрии системы окружения (это похоже на результат теоремы об эквивалентности очищений).