added corollary 3.12