Corollary 3.8

Información: Corollary 3.8