for n being Element of NAT holds len (Decomp (n,1)) = 1