(loop(format t"digital_root(~D)=~D
"(set'n(read))(1+(mod(1- n)9))))