RE: Proof of constructibility of regular 17-gon (gauss)