In the next two theorems, both the path flow version and the link flow version of the
variational inequality formulations of the network equilibrium conditions (30) are presented.
These are analogues of the formulations (22) and (23), and (24) and (25), respectively, for
the fixed demand model, and are due to Dafermos (1982).