Teorema 3.4.1.