added theorem 3.5