theorem Th1115: :: NUMBER11:1115

digits (925,10) = <%5,2,9%>