Uh... I've got a question. Is that true:
{
for [0 <= n <= 9] [0,(n) * 9 = n]
Because... [0,(n) * 10  0,(n) = n,(n)  0,(n) = n] But I'm not sure if that's true: [0,(5) * 10  0,(5) = 5,(5)  0,(5) = 5]
The same for numbers above 9  but it must be multiplied by that much 9's as it has digits, for example: [0,(12345) * 99999 = 12345,(12345)  0,(12345) = 12345]
}?
Also... [n / 9 = 0,(n)] So [0,(9) = 1], right?
(I'm a droid, yay!)
