theorem Th1245: :: NUMBER11:1245

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