Theorems 2 to 4

Nothing to download this time.