Define sumDigits(n: Integer): Integer by case sumDigits(n) = 0 when n == 0 case sumDigits(n) = n `mod` 10 + sumDigits(n `div` 10) %Define