theorem Th43: :: E_TRANS2:7

for g being non zero Polynomial of INT.Ring ex M being Nat st
for i being Nat holds |.(g . i).| <= M