theorem Th20: :: NEWTON:20

for r, s, t being natural Number st s >= t & r = s - t holds
s choose t = s choose r