The Gauss map is well-known in ergodic theory (see [1]
or [18]). The results are summarized here, for contrast with the
results of the sections previous and following. This section is meant
more as incentive for the reader to investigate ergodic theory than as
exposition.