theorem Th5: :: GROEB_1:5

for n being Ordinal
for L being non empty right_complementable add-associative right_zeroed doubleLoopStr
for p being Polynomial of n,L holds Support (- p) = Support p