Sigue de la proposición 12.3.1 que E es regular.