theorem Th255: :: NUMBER11:255

digits (391,10) = <%1,9,3%>