for n being Element of NAT holds Decomp (n,1) = <*<*n*>*>