theorem Th259: :: NUMBER11:259

digits (425,10) = <%5,2,4%>