theorem Th8: :: POLYNOM3:8

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