theorem Th1058: :: NUMBER11:1058

digits (648,10) = <%8,4,6%>