Hilbert basis theorem, a nonconstructive proof replacing and generalizing a monstrous explicit calculation ("this is not mathematics, this is theology").
|
1 | [made Community Wiki] | ||
|
|
||||

