On the equivalence of the Arrow impossibility theorem and the Brouwer fixed point theorem when individual preferences are weak orders