 The kernel of formula_15 is the space spanned by the set formula_27.Next let

formula_28

for a small positive number formula_29.As formula_11 has support (namely the state formula_31) in the kernel of formula_15, formula_13 is divergent even though the trace norm of the difference formula_34 is formula_35 .