Theorem 3.4: Springer.
Θεώρημα 3.4: Springer.