Proposición 14.4.1.