Proposición 11.3.2.