Proposición 13.2.1.