Theorems 5.4 & 5.5