Proposición 15.2.2.