for fp being FinSequence of INT st len fp = 1 holds
for x being Element of INT holds (Poly-INT fp) . x = fp . 1