1: \begin{abstract}

2: In this paper, we generalize weak KAM theorem from positive Lagrangian systems to ``proper'' Hamilton-Jacobi equations.

3: 

4: We introduce an implicitly defined solution semigroup of evolutionary Hamilton-Jacobi equations.

5: By exploring the properties of the solution semigroup, we prove the convergence of solution semigroup and

6: existence of weak KAM solutions for stationary equations:

7: \begin{equation*}

8: H(x, u, d_x u)=0.

9: \end{equation*}

10: \end{abstract}