Coxeter- Theorem 9.31 - Theorem 9.32 - Figure 9.3A