theorem Th16: :: NEWTON:16

for s being natural Number holds s ! is Element of NAT