Sigue de la proposición 13.3.1 que el