added theorem 1.12