let prepre = function
 S2 (n) -> n |
 _ -> failwith ("prepre : requires a natural number greater than one as its argument")