A theorem on open coverings of a simplex and Scarf's core existence theorem through Brouwer's fixed point theorem