BRST invariance proof complete.