Demo. Teorema 4.4.1