Proof of the MHV vertex expansion for all tree amplitudes in N=4 SYM theory