theorem Th19: :: NEWTON:19

for s being natural Number holds s choose 0 = 1