People say that [Hilbert's basis theorem][1] was once proven using pages of explicit computation with polynomials, but now everyone learns Hilbert's beautiful, if non-constructive, proof instead.  Regrettably I have no idea what the "old proof" looks like.  

  [1]: https://en.wikipedia.org/wiki/Hilbert's_basis_theorem