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