Corollary 3.8

Information: Corollary 3.8