theorem Th1345: :: NUMBER11:1345

digits (4600,10) = <%0,0,6,4%>