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 (even_part p) <= deg p & deg (odd_part p) <= deg p )