Teorema 6.13.