Before revision:  The result is obtained by using the Brouwer fixed point theorem to a trimmed simplex which does not contain prices equal to zero.
After revision:  The result is obtained by applying the Brouwer fixed point theorem to a trimmed simplex which does not contain prices equal to zero.