theorem Th1283: :: NUMBER11:1283

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