theorem Th1050: :: NUMBER11:1050

digits (312,10) = <%2,1,3%>