theorem Th1259: :: NUMBER11:1259

digits (3375,10) = <%5,7,3,3%>