for some finite N and some collection of unitary matrices on H 2 (alternatively, integrate over Haar measure). Since the trace (and hence the relative entropy) is unitarily invariant, inequality (3) now follows from (2). This theorem is due to Lindblad and Uhlmann, whose proof is the one given here.