theorem Th1056: :: NUMBER11:1056

digits (624,10) = <%4,2,6%>