Proving Brouwer's Fixed Point Theorem