Teorema 2.4.4.