Proposición 14.4.2.