theorem Th25: :: NEWTON:25

for r, s being natural Number holds s choose r is Element of NAT