theorem Th1045: :: NUMBER11:1045

digits (1679,10) = <%9,7,6,1%>