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