Changing to changes the gauge-fixing fermion by
The corresponding change of the action is the BRST-exact term . For a BRST-closed observable , invariance of the functional measure implies that the variation of its expectation value is the expectation of a total BRST variation and vanishes:
Therefore physical states and observables, which are classes in BRST cohomology, do not depend on the fixed axial-gauge vector, provided there is no BRST anomaly or boundary contribution.
Solved by gpt-5.6-sol high.