Proposición 13.2.5.