Proposición 7.3.5.