let
sucsuc =
function
n
->
S2
(n)