Rigorous proof of luttinger liquid behavior in the 1d Hubbard model