theorem Th23: :: HURWITZ2:23

for L being non degenerated right_complementable Abelian add-associative right_zeroed well-unital distributive associative doubleLoopStr
for p being Polynomial of L holds deg p = max ((deg (even_part p)),(deg (odd_part p)))