Theorems 10.3 & 10.4