Gauge independence of the Lagrangian path integral in a higher-order formalism

We propose a Lagrangian path integral based on gauge symmetries generated by a symmetric higher-order δ-operator, and demonstrate that this path integral is independent of the chosen gauge-fixing function. No explicit change of variables in the functional integral is required to show this.