Proposition:
The operator mark is no longer written
Proof:
Ho commutes evidently with Fz, as Iz can be exchanged with itself; we have to
proof, that [Fz, H1] = 0 !
We pick out a typical element for spins i, j:
Repetition and auxiliary integrals:
the remaining integrals are obtained completely analogous: