定理 ある数αが作図できるための必要十分条件は、αが有理数から
平方根と4則演算を何回か作用させて作られることである。

2^(1/3)、π、eなどは作図可能ではない。