A rigorous result on the discrete–continuum limit in traffic flow