Proposición 7.5.1.