Proposición 14.1.6.