added theorem 4.1.2