theorem Th49: :: POLYNOM5:49

for L being non empty right_complementable Abelian add-associative right_zeroed well-unital distributive commutative doubleLoopStr
for p being Polynomial of L holds Subst ((0_. L),p) = 0_. L