added corollary 2.12, theorem 2.13, proved corollary 2.12