added theorem 3.2 from lang