0x2207 12.02.2011 11:30 epsilon

sum(1) → 1;
sum(N) when N > 0 → N + sum(N-1).

Do you really want to delete ?