Proposición 11.4.1.