Proposición 15.3.1.