Corollary 3.8
Information: Corollary 3.8