Kraus matrices are not uniquely determined by the quantum operation Φ Φ in general. For example, different Cholesky factorizations of the Choi matrix might give different sets of Kraus operators. The following theorem states that all systems of Kraus matrices representing the same quantum operation are related by a unitary transformation: