Proposición 7.4.1.