Which parts of Theorem 2.15 have been used in (2.18)?

Which parts of Theorem 2.15 have been used in (2.18)?