added corollary 2.8