In solving equations using lambda calculus, what is the effect of applying the 'succ' function multiple times to 'zero'?