theorem Th28: :: NEWTON:28

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