1: \begin{abstract}

2: \small  

3: We prove that if the initial data

4: is smooth enough and a finite element solution 

5: of the three-dimensional Navier--Stokes equations

6: is bounded in a certain norm

7: with a small mesh size,

8: then the Navier--Stokes equations

9: have a unique smooth solution.\\

10: 

11: %\\

12: %

13: %\noindent{\sc Key words.}

14: %Navier--Stokes, incompressible, well-posedness, 

15: %uniqueness, regularity, finite element method,

16: %convergence, a posteriori

17: \end{abstract}

18: