问为什么如果x=b但y≠a那么x和y不是深度最深的兄弟叶结点？

各位大神你们好在《算法导论第三版》16章贪心算法16.3赫夫曼树这一节中

证明引理16.2的内容中存在一句话

如上图所示

关于这一点我表示很不理解，因为即便是x等于b但y不等于a也不影响x与a，y与b的交换，又因为ab是T中深度最大的兄弟叶结点，所以xy必然也会变成T''中深度最大的兄弟叶结点。

为什么书中说如果x=b但y≠a那么在T''中x和y不是深度最深的兄弟叶结点？

恳请赐教