We sketch Gauss' algebraic argument for the constructibility of the 17-gon. Along the way we discuss roots of unity in the complex plane.