theorem Th39: :: UPROOTS:42

for L being non empty ZeroStr
for p being Polynomial of L holds poly_shift (p,0) = p