theorem Th23: :: NEWTON:23

for s being natural Number st s >= 1 holds
s choose 1 = s