theorem Th638: :: NUMBER11:638

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