added corollary 1.8