theorem Th21: :: NEWTON:21

for s being natural Number holds s choose s = 1