theorem Th15: :: NEWTON:15

for s being natural Number holds (s + 1) ! = (s !) * (s + 1)