Proposición 15.3.4.