Proposición 15.4.2.