let inv_d1 = function
  STT (n) -> n |
  _ -> failwith ("inv_d1 : requires a odd natural number as its argument")