Exercise OD.T20 Robert Beezer

In the discussion following Theorem OBNM we comment that the equation $\hat{\vect{x}} = \adjoint{U}\vect{x}$ is just Theorem COB in disguise. Formulate this observation more formally and prove the equivalence.