Trotter–Kato theorem