theorem Th1157: :: NUMBER11:1157

digits (1675,10) = <%5,7,6,1%>