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