Proposición 11.3.3.