Roth's Theorem on Arithmetic Progressions