theorem :: NEWTON04:52

for a being Real
for n being non zero Nat holds a |^ n = Sum ((a,0) Subnomial n)