Isolated, so-called "pretty theorems" have even less value in the eyes of a modern mathematician than the discovery of a new "pretty flower" has to the scientific botanist, though the layman finds in these the chief charm of the respective sciences.