i suggest we leave it out in the finite dim case that's a trivial fact due to unitary invariance of trace in the infinite dim case a projection need not be trace class and one needs to be more careful