theorem Th15: :: HURWITZ2:15

for L being non empty right_complementable Abelian add-associative right_zeroed addLoopStr
for p, q being Polynomial of L holds even_part (p + q) = (even_part p) + (even_part q)