theorem Th17: :: NEWTON:17

for s being natural Number holds s ! > 0