Before revision:  We prove that, under standard assumptions  , equilibrium portfolio holdings and market prices exist which clear the multi-layered financial system.
After revision:  We prove that, under standard assumptions , equilibrium portfolio holdings exist and are unique. However, with market impacts, we prove that equilibrium portfolio holdings and market prices exist which clear the multi-layered financial system.