"The only assumption needed (in addition to complete markets and price-taking behavior) is the relatively weak assumption of local nonsatiation of preferences"