Convergence Analysis of a Finite Element Projection/Lagrange--Galerkin Method for the Incompressible Navier--Stokes Equations | Synapse