Assertion: gauss's proof | /r/Desires | the fact
Facets:
value: firstly
type: MANNER
Source sentences:
text: Gauss's proof relies firstly on the fact that constructibility is equivalent to expressibility of the trigonometric functions of the common angle in terms of arithmetic operations and square root extractions, and secondly on his proof that this can be done if the odd prime factors of N {\displaystyle N} , the number of sides of the regular polygon, are distinct Fermat primes, which are of the form F n = 2 2 n + 1