for n being Nat st 0 <> n holds
Sgm {n} = <*n*>