Proposición 7.7.1.