State a criterion for constructability of a real number c.