“The seriousness of a theorem, of course, does not lie in its consequences, which are merely the evidence for its seriousness.”