We propose a general procedure for iterative inclusion of Stueckelberg fields to convert the theory into gauge system being equivalent original one. In so doing, we admit reducibility symmetry. this case, no pairing exists between and parameters, unlike irreducible The is exemplified by case Proca model, with third order involutive closure chosen as starting point. set includes, besides scalar,...
