Primero reconoció que tal modelo tendría que estar expresado por medio de inecuaciones y no de ecuaciones (como solía hacerse), y entonces encontró la solución al problema de Walras aplicando un teorema de punto fijo derivado del trabajo de Luitzen Brouwer.