1: \begin{definition}

2: A vector field $X$ on $Q$ satisfying conditions of the Theorem \ref{FirstThofred} will be called solution for the constrained Hamilton-Jacobi problem given by the constraint manifold $N \subseteq TQ$ and a regular Lagrangian $L$.

3: \end{definition}

4: