I. The theory of mensuration