for L being non empty left_zeroed right_zeroed addLoopStr
for p being Polynomial of L holds (odd_part p) + (even_part p) = p