The Downs-Thomson Paradox: Existence, Uniqueness and Stability of User Equilibria · Study