Proposición 13.2.4.