Proposición 13.2.2.