I'm reading the paper [Notes on compact quantum groups][1]. In this paper, the following theorem is proven:

[![enter image description here][2]][2]


  [1]: https://arxiv.org/abs/math/9803122
  [2]: https://i.sstatic.net/1k5vY.png

**Question:** Why is the marked equality true?