LCHL Introduction to area, Theorem 16, Definition 38, Theorem 17 and Theorem 18