作図可能な正多角形がメルセンヌ素数×2^n(nは自然数)に限られるって聞いたんだけどほんと?