theorem Th11: :: NEWTON:11

for s being natural Number st s >= 1 holds
0 |^ s = 0