Elliott's theorem