theorem :: POLYNOM3:10

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