| http://www.w3.org/ns/prov#value | - We observe that if each agent is endowed with each commodity , that is, , then it is possible to assume for all and (10) is verified for solution to (29).In fact, for all it results in , then Moreover, since is a solution to (12), for all , namely, Summing for it follows that
|