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