theorem Th646: :: NUMBER11:646
digits (3180,10) = <%0,8,1,3%>