Corollary 2.4.4