What  important  algebraic property does  the set of constructible numbers have?