theorem Th1257: :: NUMBER11:1257

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