Weak solution to the Navier-Stokes equations constructed by semi-discretization are suitable