Description: The first step of the construction of constructible numbers is the pair { 0 , 1 } . In this theorem and the following, we use ( CN ) for the N -th intermediate iteration of the constructible number. (Contributed by Thierry Arnoux, 25-Jun-2025)