Add n_ary expansion
Use to_nary in main theorem
An alternative approach to defining the corresponding set of ternary expansions