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