Proposición 14.1.5.