theorem Th1163: :: NUMBER11:1163
digits (1775,10) = <%5,7,7,1%>