The proof of existence of general equilibrium under taxation given by Shoven and Whalley in 1973 can be reinterpreted as the proof of existence of general equilibrium without taxation. However, an additional good must be introduced into the economy. In this context, this paper shows that it is...