Exercise 2.81

[jiahai-feng]

I believe a more general treatment will consider repeated singular values. In that situation, it was useful for me to notice that unitary matrices form a group, so left multiplication by a unitary matrix on a unitary matrix is equal to right multiplication by some other unitary matrix, thus allowing us to convert U_a tensor U_b to I_a tensor U_r