Corollary 6
Informació: Corollary 6