How to prove the following step in the proof of conditional entropy

151 Views Asked by At

I do not know how Eq. (2.58) is obtained from Eq. 2.57 in the following proof for conditional entropy. Any help in this regard will be much appreciated. Thanks in advance.

enter image description here

I think we can even avoid this step but I am not sure.