Teorema 12.3.5.