theorem Th1281: :: NUMBER11:1281

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