It is not so much whether a theorem is useful that matters, but how elegant it is.