Fundamental theorem on gauge fixing at the action level

Fundamental theorem on gauge fixing at the action level