Re: [math-fun] What is the name of [mod 9 digitsum]