Proposición 15.4.1.