Proposición 14.1.3.