けんき says to YSITD
知道T^2 U^2 self adj and positive semidefinite