In the Abelian case, the proof rests on the fact that the field tensor satisfies , and being the stationary and the axial Killing field, respectively. For Yang–Mills fields these conditions do no longer follow from the field equations and the invariance properties; see Section 6.1 for details.