Text this: Existence of equilibrium in financial markets: Hart's securities exchange model with consumption in the first period