On the Uniqueness of User Equilibrium Flow with Speed Limit · Study