theorem Th10: :: BCIALG_5:10

for X being BCI-algebra
for x, y being Element of X
for m, n being Nat holds Polynom (m,(n + 1),x,y) = (Polynom (m,n,x,y)) \ (y \ x)