7.15 Theorems