Proposición 14.2.3.