Proposición 11.3.1.