Formula_11779

\[\operatorname{Sp} \rho \hat{a}(x) \hat{b}(y) \underset{|x-y| \rightarrow \infty}{\longrightarrow} \operatorname{Sp} \rho \hat{a}(x) \operatorname{Sp} \rho \hat{b}(y)\]