Proposición 15.2.6.