for n, m being Element of NAT
for r, x being Element of REAL st n > m & r > 0 holds
( (Maclaurin ((#Z n),].(- r),r.[,x)) . m = 0 & (Maclaurin ((#Z n),].(- r),r.[,x)) . n = x |^ n )