theorem Th1081: :: NUMBER11:1081

digits (225,10) = <%5,2,2%>