It will be useful to follow the general Dirac–Bergmann algorithm closely and carry out a formal analysis of the
restriction (REF ) on the Lagrange multipliers [1]}, [2]}. We begin with the concept of weak equality.
