He wants to repeatedly sum digits until ( number < 10 ) in order to check divisibility by 9 like<br><br><br>digitalRoot x = limit ( iterate digitSum x )<br><br>digitSum 0 = 0<br>digitSum x = ones x + digitSum ( x / 10 )
<br><br>