Proposición 15.4.3.