theorem Th1054: :: NUMBER11:1054

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