theorem Th10: :: NEWTON:10

for s being natural Number holds 1 |^ s = 1