정n각형이 작도가능할 필요충분조건은, n이 서로 다른 페르마 소수들의 곱과 2의 거듭제곱의 곱으로 나타나지는 것이다.

이거 증명할 때 어떤 개념을 알아야 하나요?