theorem :: NEWTON:24

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