Application of a priori error estimates for Navier-Stokes equations to accurate finite element solution