theorem Th9: :: HURWITZ2:9

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