theorem Th29: :: NEWTON:29

for a, b being Real
for s being natural Number holds ((a,b) In_Power s) . (s + 1) = b |^ s