How does one use d=v_ixxt + [(axxt^2)/2] to prove v_f^2=v_i^2+2ad?