In order to reduce a geometric problem to a problem of pure number theory, the proof uses the fact that a regular "n"-gon is constructible if and only if the cosine, formula_2, is a constructible number—that is, can be written in terms of the four basic arithmetic operations and the extraction of square roots.