theorem Th1277: :: NUMBER11:1277

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