fixed road number of cars invariant