theorem Th929: :: NUMBER11:929

digits (115,10) = <%5,1,1%>