proved Corollary 1.9