Trotter-Kato Product Formula, 
Norm- and Trace-norm Convergence