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