Proposición 14.2.2.