theorem Th39: :: E_TRANS1:37

for L being non degenerated comRing
for F being non empty FinSequence of the carrier of (Polynom-Ring L)
for x being Element of L holds eval ((~ (Product F)),x) = Product (eval (F,x))