Proposición 14.2.1.