Teorema 11.4.3.