Theorems 3.5.6 and 3.5.7