1: \begin{definition}

2: A $1-$form $\sigma$ on $Q$ satisfying conditions of the Theorem \ref{dualtheo23} will be called solution for the constrained Hamilton-Jacobi problem given by the constraint manifold $M \subseteq T^{*}Q$ and a Hamiltonian $H$.

3: \end{definition}

4: