Proposición 13.2.6.