10.2 Theorems