theorem Th1072: :: NUMBER11:1072

digits (888,10) = <%8,8,8%>