show/hide this revision's text 1 [made Community Wiki]

Hilbert basis theorem, a nonconstructive proof replacing and generalizing a monstrous explicit calculation ("this is not mathematics, this is theology").