theorem Th644: :: NUMBER11:644

digits (3160,10) = <%0,6,1,3%>