VI. Theorems