Sa pagpapakilala ng modelong Arrow @-@ Debreu noong 1954 , kanilang pinatunayan ang pag @-@ iral ( ngunit hindi ang pagiging walang katulad ) ng ekwilibrium at pinatunayan rin na ang bawat ekwilibrium na Walras ay isang magiging Pareto.
