a04424ad2c06782ab47e5a67ee91766dc288f1ecd0acc7ccbf11d3c252d0d421f119c3c4950a4e4d44dc520f1445c4

위 정리를 어케 적용해야 아래 등식 나오는거임? 일단 tr이 spectral function인건 알겠는데 뭐 어케해야 좌변이 우변으로 나온거임?