Deriving gauge symmetry and spontaneous Lorentz violation

We consider a class of field theories with a four-vector field A(x) in addition to other fields supplied with a global charge symmetry - theories which have a partial gauge symmetry in the sense of only imposing it on those terms in the Lagrangian density which have derivatives as factors in them. We suppose that spontaneous Lorentz invariance breaking occurs in such a theory due to the four-vector field taking a non-zero vacuum expectation value. Under some very mild assumptions, we show that this Lorentz violation is not observable and the whole theory is practically gauge invariant. A very important presupposition for this theorem is that an initial condition is imposed on the no-derivative expressions corresponding to the early Universe being essentially in a vacuum state. This condition then remains true forever and can be interpreted as a gauge constraint. We formulate the conditions under which the spontaneous Lorentz violation becomes observable. Spontaneously broken Lorentz invariance could be seen by some primordially existing or created "fossil" charges with the property of moving through the Universe with a fixed velocity.