Teorema 4.4.18.