Proposición 3.3.1.