正十七角形の作図方法を思いついたら数学者目指すべき