Greene's theorem